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 3fc92fc8d..000000000 --- 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 \ - $(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 \ - $(check_c_sources) || fail=1; \ - fi;\ - if test yes = "$(ENABLE_CODING_STYLE_CHECKS)"; then \ - exit "$$fail";\ - else \ - exit 0;\ - fi |