diff options
author | Glenn Morris <rgm@gnu.org> | 2008-06-22 02:20:24 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2008-06-22 02:20:24 +0000 |
commit | 8a6a564281ce27b9ac76748a508a0cbab517e3a8 (patch) | |
tree | 4958aee951e7087f311106143fa20590a8347c6c /Makefile.in | |
parent | 6412427914cf7a4f139d6935881584002b047220 (diff) | |
download | emacs-8a6a564281ce27b9ac76748a508a0cbab517e3a8.tar.gz |
(top_bootclean): Remove obsolete references to lock/.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 1f840a0d647..ae92424bf8e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -709,8 +709,7 @@ clean: FRC ### `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 |