conveniences for RCR

diff --git a/Robust/src/Benchmarks/oooJava/barneshut/runr b/Robust/src/Benchmarks/oooJava/barneshut/runr
new file mode 100755 (executable)
index 0000000..045aed6
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/barneshut/runr
@@ -0,0 +1 @@
+time ./Barneshutr.bin ./inputs/BarnesHutLarge.in

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 2d48be42743f28aaf91b57f3f74da471d615c90e..11c1e27e92e8aa5546022e3e52e3d686e4d192f1 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -55,7 +55,7 @@ rcr:
        $(BUILDSCRIPT)         $(BSFLAGS) $(USECOREPROF) $(USERCR) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES) 
 
 clean:
-       rm -f  $(PROGRAM)p.bin $(PROGRAM)s.bin
+       rm -f  $(PROGRAM)p.bin $(PROGRAM)s.bin $(PROGRAM)r.bin
        rm -fr par sing rcr
        rm -f tmp.c
        rm -f  *~