diff options
-rw-r--r-- | lib/make/make.configuration | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/make/make.configuration b/lib/make/make.configuration index 87f2761a..2707a96b 100644 --- a/lib/make/make.configuration +++ b/lib/make/make.configuration @@ -297,7 +297,7 @@ realclean: rm -rf $(TOP)/build rm -rf $(TOP)/bindings rm -rf $(TOP)/config-data/make.thornlist - rm -rf $(TOP)/lib/* + rm -rf $(TOP)/lib; $(MKDIR) $(MKDIRFLAGS) $(TOP)/lib rm -rf $(TOP)/scratch; $(MKDIR) $(MKDIRFLAGS) $(TOP)/scratch rm -f datestamp.o |