From a6a928ea146b8a400e740678183446c1448bb2e2 Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Tue, 2 Nov 2010 14:20:04 -0400 Subject: [PATCH] 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. --- src/sawsim.nw | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.26.2