From: jjenista <jjenista>
Date: Wed, 11 May 2011 17:40:46 +0000 (+0000)
Subject: clean up points-to-check files properly
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=f2dae2b7a50012d5feab3856cf6f09f54d8679d9

clean up points-to-check files properly
---

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 6f5622dd..d871658b 100644
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -140,8 +140,8 @@ rcr-debug-v: $(SOURCE_FILES) ../master-makefile
 	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USERCR) $(RCRDEBUGV) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
 
 clean:
-	rm -f  $(PROGRAM)p.bin $(PROGRAM)s.bin $(PROGRAM)r.bin
-	rm -fr par sing rcr
+	rm -f  $(PROGRAM)p.bin $(PROGRAM)s.bin $(PROGRAM)r.bin $(PROGRAM)c.bin
+	rm -fr par sing rcr chk
 	rm -f tmp.c
 	rm -f  *~
 	rm -f  *.dot