From 8d50b17547414dc76e53ac9ebd763eb716290244 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 6 Jan 2012 21:44:49 +0000
Subject: [PATCH] get this dir too

---
 Robust/src/Benchmarks/oooJava/master-makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.34.1