diff options
| author | Paul Sokolovsky | 2013-12-30 21:02:10 +0200 |
|---|---|---|
| committer | Paul Sokolovsky | 2013-12-30 21:02:10 +0200 |
| commit | e1151e463deb240dfb12c6be52610b99f1cd7a79 (patch) | |
| tree | 8fbcb093f8c906ab9b93f66116cbdc4ff6218f13 | |
| parent | 8cc96a35e532ef999e5a3739deeb44f51a80744b (diff) | |
Use rm -rf to remove build dir, so it doesn't error out if dir doesn't exist.
| -rw-r--r-- | stm/Makefile | 2 | ||||
| -rw-r--r-- | unix-cpy/Makefile | 2 | ||||
| -rw-r--r-- | unix/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/stm/Makefile b/stm/Makefile index c66a2f6ce..33d738d78 100644 --- a/stm/Makefile +++ b/stm/Makefile @@ -193,6 +193,6 @@ $(BUILD)/compile.o: $(PYSRC)/grammar.h $(BUILD)/emitbc.o: $(PYSRC)/emit.h clean: - /bin/rm -r $(BUILD) + /bin/rm -rf $(BUILD) .PHONY: all clean diff --git a/unix-cpy/Makefile b/unix-cpy/Makefile index a77a6308b..ef1999a1b 100644 --- a/unix-cpy/Makefile +++ b/unix-cpy/Makefile @@ -86,6 +86,6 @@ $(BUILD)/emitcpy.o: $(PYSRC)/emit.h $(BUILD)/emitbc.o: $(PYSRC)/emit.h clean: - /bin/rm -r $(BUILD) + /bin/rm -rf $(BUILD) .PHONY: clean diff --git a/unix/Makefile b/unix/Makefile index f6b91889b..0ddf11539 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -95,6 +95,6 @@ $(BUILD)/emitcpy.o: $(PYSRC)/emit.h $(BUILD)/emitbc.o: $(PYSRC)/emit.h clean: - /bin/rm -r $(BUILD) + /bin/rm -rf $(BUILD) .PHONY: clean |