diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2013-12-30 21:02:10 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2013-12-30 21:02:10 +0200 |
| commit | e1151e463deb240dfb12c6be52610b99f1cd7a79 (patch) | |
| tree | 8fbcb093f8c906ab9b93f66116cbdc4ff6218f13 /unix | |
| parent | 8cc96a35e532ef999e5a3739deeb44f51a80744b (diff) | |
Use rm -rf to remove build dir, so it doesn't error out if dir doesn't exist.
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |