diff options
| -rw-r--r-- | Makefile.maint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index 1d3e25cbb..c657c8c8f 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -33,7 +33,7 @@ my-distcheck: dist GZIP=$(GZIP) $(TAR) -C $(t) -zxf $(distdir).tar.gz cd $(t)/$(distdir) \ && ./configure --disable-nls \ - && $(MAKE) \ + && $(MAKE) CFLAGS='-Wformat -Werror' \ && $(MAKE) dvi \ && $(MAKE) check \ && $(MAKE) distclean |