From e1151e463deb240dfb12c6be52610b99f1cd7a79 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky
Date: Mon, 30 Dec 2013 21:02:10 +0200
Subject: Use rm -rf to remove build dir, so it doesn't error out if dir
 doesn't exist.

---
 stm/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm')

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
-- 
cgit v1.2.3