diff options
| author | Jim Blandy <[email protected]> | 1993-06-19 21:05:21 +0000 |
|---|---|---|
| committer | Jim Blandy <[email protected]> | 1993-06-19 21:05:21 +0000 |
| commit | 39b62b3bf31e9111e7879908e8a56a6546a645bd (patch) | |
| tree | 42add901ae5671777c551a7500967573d57977c9 | |
| parent | 64a072198028d6394000f7a9edec306aa23812b8 (diff) | |
* Makefile.in (top_distclean): Use -f switch when cleaning out
lock dir; it might be empty.
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 0f67123d62..630df20da7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -452,7 +452,7 @@ clean: FRC.clean top_distclean=\ rm -f config.status build-install ; \ rm -f Makefile ${SUBDIR_MAKEFILES} ; \ - (cd lock ; rm *) + (cd lock ; rm -f *) distclean: FRC.distclean (cd src; make ${MFLAGS} distclean) (cd oldXMenu; make ${MFLAGS} distclean) |