changeset 14360:74660e3d9659

(extraclean): Use ${top_distclean} to ensure we delete everything distclean deletes.
author Richard M. Stallman <rms@gnu.org>
date Thu, 25 Jan 1996 06:59:38 +0000
parents 83a980edc854
children fbce2d55fec6
files Makefile.in
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu Jan 25 06:41:37 1996 +0000
+++ b/Makefile.in	Thu Jan 25 06:59:38 1996 +0000
@@ -492,8 +492,8 @@
 ### it deletes backup and autosave files too.
 extraclean:
 	for i in ${SUBDIR}; do (cd $$i; $(MAKE) $(MFLAGS) extraclean); done
-	-(cd lock && rm *)
-	-rm config.status config-tmp-*
+	${top_distclean}
+	-rm config-tmp-*
 	-rm -f *~ \#*
 
 ### Unlocking and relocking.  The idea of these productions is to reduce