diff options
| -rw-r--r-- | Makefile.maint | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile.maint b/Makefile.maint index 38d775fd0..b84d54ef0 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -447,9 +447,7 @@ null_AM_MAKEFLAGS = \ AUTOHEADER=false \ MAKEINFO=false -# Detect format-string/arg-list mismatches that would normally be obscured -# by the use of _(). The --disable-nls effectively defines away that macro, -# and building with CFLAGS='-Wformat -Werror' causes any format warning to be +# Building with CFLAGS='-Wformat -Werror' causes any format warning to be # treated as a failure. Also, check for shadowing problems with -Wshadow, # and for pointer arithmetic problems with -Wpointer-arith. # These CFLAGS are pretty strict. If you build this target, you probably @@ -461,7 +459,7 @@ my-distcheck: $(local-check) $(release_archive_dir)/$(prev-tgz) mkdir -p $(t) GZIP=$(GZIP_ENV) $(AMTAR) -C $(t) -zxf $(distdir).tar.gz cd $(t)/$(distdir) \ - && ./configure --disable-nls \ + && ./configure \ && $(MAKE) CFLAGS='-Werror -Wall -Wformat -Wshadow -Wpointer-arith' \ AM_MAKEFLAGS='$(null_AM_MAKEFLAGS)' \ && $(MAKE) dvi \ |