From a153ba614a2711c908b362fa9d06f1b635354cb6 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 18 Mar 2011 08:37:40 +0000
Subject: [PATCH] add rcr-pointer option

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

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 00e1d0ad..8e6355bb 100644
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -107,6 +107,10 @@ disjoint-debug: $(SOURCE_FILES) ../master-makefile
 rcr: $(SOURCE_FILES) ../master-makefile
 	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USERCR) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
 
+
+rcrpointer: $(SOURCE_FILES) ../master-makefile
+	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USERCR) -pointer $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
+
 rcr-debug: $(SOURCE_FILES) ../master-makefile
 	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USERCR) $(RCRDEBUG) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
 
-- 
2.34.1