diff options
-rw-r--r-- | Makefile.maint | 7 | ||||
-rw-r--r-- | bootstrap.conf | 4 |
2 files changed, 10 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index 3fbfa422b..6d280ff43 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -101,6 +101,13 @@ syntax-check: $(local-check) # exit 1; } || : # FIXME: don't allow `#include .strings\.h' anywhere +sc_avoid_if_before_free: + @$(srcdir)/build-aux/useless-if-before-free \ + $(useless_free_options) \ + $$($(CVS_LIST_EXCEPT)) && \ + { echo '$(ME): found useless "if" before "free" above' 1>&2; \ + exit 1; } || : + sc_cast_of_argument_to_free: @grep -nE '\<free \(\(' $$($(CVS_LIST_EXCEPT)) && \ { echo '$(ME): don'\''t cast free argument' 1>&2; \ diff --git a/bootstrap.conf b/bootstrap.conf index bd76ba731..245287248 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -82,7 +82,9 @@ gnulib_modules=" strftime strpbrk strtoimax strtoumax strverscmp sys_stat timespec tzset unicodeio unistd-safer unlink-busy unlinkdir unlocked-io - uptime userspec utimecmp utimens + uptime + useless-if-before-free + userspec utimecmp utimens vasprintf-posix vc-list-files verify version-etc-fsf |