From: jjenista <jjenista>
Date: Fri, 6 Jan 2012 21:44:49 +0000 (+0000)
Subject: get this dir too
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8d50b17547414dc76e53ac9ebd763eb716290244;p=IRC.git

get this dir too
---

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 16ed5f2a..c9f74277 100644
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -169,7 +169,7 @@ rcr-debug-v: $(SOURCE_FILES) ../master-makefile
 
 clean:
 	rm -f  $(PROGRAM)p.bin $(PROGRAM)s.bin $(PROGRAM)r.bin $(PROGRAM)c.bin $(PROGRAM)d.bin
-	rm -fr par sing rcr chk def
+	rm -fr par sing rcr chk def tmpbuilddirectory
 	rm -f tmp.c
 	rm -f  *~
 	rm -f  *.dot