changeset 11407:5e814474c4a8

(top_distclean): Delete config.cache.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Apr 1995 04:56:20 +0000
parents dc4b96a8dc2e
children 9fbaec64d072
files Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu Apr 13 02:34:03 1995 +0000
+++ b/Makefile.in	Thu Apr 13 04:56:20 1995 +0000
@@ -436,7 +436,7 @@
 ###      `make distclean' should leave only the files that were in the
 ###      distribution.
 top_distclean=\
-	rm -f config.status ; \
+	rm -f config.status config.cache ; \
 	rm -f Makefile ${SUBDIR_MAKEFILES} ; \
 	(cd lock && rm -f *)
 distclean: FRC