(my-distcheck): Run make with CFLAGS='-Wformat -Werror'.

diff --git a/Makefile.maint b/Makefile.maint
index 1d3e25cbbea4a8c7809d885603898285cf29f4e4..c657c8c8f419944869dbd62a00c08e90c288f1e1 100644 (file)
--- 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