From: W. Trevor King <wking@drexel.edu>
Date: Tue, 2 Nov 2010 18:20:04 +0000 (-0400)
Subject: Use `rm -rf` instead of `rmdir` for `make clean`.
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=a6a928ea146b8a400e740678183446c1448bb2e2;p=sawsim.git

Use `rm -rf` instead of `rmdir` for `make clean`.

This avoids "No such file or directory" errors if you run `make clean`
without having build the to-be-cleaned directories.
---

diff --git a/src/sawsim.nw b/src/sawsim.nw
index 96165a6..b83faa5 100644
--- a/src/sawsim.nw
+++ b/src/sawsim.nw
@@ -6654,7 +6654,7 @@ clean : $(CHECK_BINS:%=clean_%) $(SAWSIM_MODS:%=clean_%) \
 		$(BUILD_DIR)/interp.c $(BUILD_DIR)/interp.h \
 		$(BUILD_DIR)/tavl.c $(BUILD_DIR)/tavl.h \
 		$(BUILD_DIR)/global.h ./gmon.out
-	$(SHELL) -e -c "rmdir $(BUILD_DIR) $(DOC_DIR)"
+	$(SHELL) -e -c "rm -rf $(BUILD_DIR) $(DOC_DIR)"
 
 # Various builds of sawsim
 $(BIN_DIR)/sawsim : $(SAWSIM_SRC) | $(BIN_DIR)