# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1214101213 0
# Node ID 0a76608dd497739d17c5ae67821b44e035f1bead
# Parent  3a4e89c0e04d579a5979920a099511f3d300fb98
(top_bootclean): Remove obsolete references to lock/.

diff -r 3a4e89c0e04d -r 0a76608dd497 Makefile.in
--- a/Makefile.in	Sun Jun 22 02:02:18 2008 +0000
+++ b/Makefile.in	Sun Jun 22 02:20:13 2008 +0000
@@ -709,8 +709,7 @@
 ### `bootclean'
 ###      Delete all files that need to be remade for a clean bootstrap.
 top_bootclean=\
-	rm -f config.cache config.log ; \
-	if [ -d lock ] ; then (cd lock && (rm -f * || true)); else true; fi
+	rm -f config.cache config.log
 ### `distclean'
 ###      Delete all files from the current directory that are created by
 ###      configuring or building the program.  If you have unpacked the