diff options
-rw-r--r-- | Makefile.maint | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile.maint b/Makefile.maint index de15d92e8..295c8975f 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -65,16 +65,13 @@ my-distcheck: writable-files po-check -rm -rf $(t) mkdir $(t) GZIP=$(GZIP) $(AMTAR) -C $(t) -zxf $(distdir).tar.gz -# Removing $(DEPDIR) like this is a gross kludge to work around a bug -# in automake. Remove that line once it's fixed. cd $(t)/$(distdir) \ && ./configure --disable-nls \ && $(MAKE) CFLAGS='-Wformat -Werror' \ AM_MAKEFLAGS='$(null_AM_MAKEFLAGS)' \ && $(MAKE) dvi \ && $(MAKE) check \ - && $(MAKE) distclean \ - && rm -rf $(DEPDIR) + && $(MAKE) distclean cd $(t) && mv $(distdir) $(distdir).old \ && $(AMTAR) -zxf ../$(distdir).tar.gz diff -ur $(t)/$(distdir).old $(t)/$(distdir) |