get this dir too

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 16ed5f2ac70d3086eced4f6d9b2dbce9c71b4d97..c9f74277b1ffdc74bafffbd1edc4669491ec182e 100644 (file)
--- 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