From f2dae2b7a50012d5feab3856cf6f09f54d8679d9 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 11 May 2011 17:40:46 +0000
Subject: [PATCH] clean up points-to-check files properly

---
 Robust/src/Benchmarks/oooJava/master-makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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