diff options
Diffstat (limited to 'tools/check-coding-style.mk')
| -rw-r--r-- | tools/check-coding-style.mk | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/check-coding-style.mk b/tools/check-coding-style.mk deleted file mode 100644 index f3f74fa..0000000 --- a/tools/check-coding-style.mk +++ /dev/null @@ -1,17 +0,0 @@ -check-coding-style: - @fail=0; \ - if test -n "$(check_misc_sources)"; then \ - tools_dir=$(top_srcdir)/tools \ - sh $(top_srcdir)/tools/check-misc.sh \ - $(addprefix $(srcdir)/,$(check_misc_sources)) || fail=1; \ - fi; \ - if test -n "$(check_c_sources)"; then \ - tools_dir=$(top_srcdir)/tools \ - sh $(top_srcdir)/tools/check-c-style.sh \ - $(addprefix $(srcdir)/,$(check_c_sources)) || fail=1; \ - fi;\ - if test yes = "$(enable_fatal_warnings)"; then \ - exit "$$fail";\ - else \ - exit 0;\ - fi |