add rcr-pointer option
authorbdemsky <bdemsky>
Fri, 18 Mar 2011 08:37:40 +0000 (08:37 +0000)
committerbdemsky <bdemsky>
Fri, 18 Mar 2011 08:37:40 +0000 (08:37 +0000)
Robust/src/Benchmarks/oooJava/master-makefile

index 00e1d0adfaf2309e3c2d65c360a487868c9db4e1..8e6355bb46482799d1d3017968bebb721b7f3a0f 100644 (file)
@@ -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)