2001-07-14 Steve M. Robbins <steve@nyongwa.montreal.qc.ca>

	* lib/am/distdir.am (distcheck): Emit diagnostic when files
	remain after "make uninstall".

diff --git a/ChangeLog b/ChangeLog
index 67bc722a0fba42c0186d0849130f4d456900a84a..6d68c630d062c5f08f094bf03e1213697d912088 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2001-07-14  Steve M. Robbins  <steve@nyongwa.montreal.qc.ca>
+
+       * lib/am/distdir.am (distcheck): Emit diagnostic when files
+       remain after "make uninstall".
+
 2001-07-14  Tom Tromey  <tromey@redhat.com>
 
        * lib/am/tags.am (.PHONY): Depend on GTAGS.  From Shigio Yamaguchi.

diff --git a/lib/am/distdir.am b/lib/am/distdir.am
index 3b11fc1d164c4ff4f9b5e89b67f464d80d7751b0..e808966a016db1e26ad48318be2fd7eda4c64660 100644 (file)
--- a/lib/am/distdir.am
+++ b/lib/am/distdir.am
@@ -262,7 +262,9 @@ distcheck: dist
          && $(MAKE) $(AM_MAKEFLAGS) installcheck \
          && $(MAKE) $(AM_MAKEFLAGS) uninstall \
 ## We use -le 1 because the `dir' file might still exist after uninstall.
-         && test `find $$dc_install_base -type f -print | wc -l` -le 1 \
+         && (test `find $$dc_install_base -type f -print | wc -l` -le 1 \
+            || (echo "Error: files left after uninstall" 1>&2; \
+                exit 1) ) \
          && $(MAKE) $(AM_MAKEFLAGS) dist \
          && $(MAKE) $(AM_MAKEFLAGS) distclean \
 ## Make sure to remove the dist file we created in the test build