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 96165a6ececc809de3353635e76f18c9c32d51b6..b83faa5244b194d7200f8c74ed00ed46a1fe5adb 100644 (file)
--- 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)