From b1b7afc798b9020d1d3e4d4dbd459acec8c85510 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Mon, 21 Jul 1997 18:42:03 +0000
Subject: [PATCH] (top_distclean): Use -f to delete contents of lock dir.

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 95cb7a0700e..9425a3def08 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -461,7 +461,7 @@ clean: FRC
 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)
-- 
2.39.5