# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 869510523 0
# Node ID 84972fa25ac12fa53a3f4c7bd4f64d324b52a67e
# Parent  a5abb17e769177a6dacb298dc054dc15e1ee0d62
(top_distclean): Use -f to delete contents of lock dir.

diff -r a5abb17e7691 -r 84972fa25ac1 Makefile.in
--- a/Makefile.in	Mon Jul 21 18:24:06 1997 +0000
+++ b/Makefile.in	Mon Jul 21 18:42:03 1997 +0000
@@ -461,7 +461,7 @@
 top_distclean=\
 	rm -f config.status config.cache config.log ; \
 	rm -f Makefile ${SUBDIR_MAKEFILES} ; \
-	(cd lock && (rm * || true))
+	(cd lock && (rm -f * || true))
 distclean: FRC
 	(cd src;      $(MAKE) $(MFLAGS) distclean)
 	(cd oldXMenu; $(MAKE) $(MFLAGS) distclean)