changes.

diff --git a/Robust/src/Benchmarks/oooJava/mergesort/makefile b/Robust/src/Benchmarks/oooJava/mergesort/makefile
index 6da9451e8a37f8ca1cafc980f20a4f3147de0ff3..899131c3b2db6a3af32bc3503b84a83a0ba493b4 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/mergesort/makefile
+++ b/Robust/src/Benchmarks/oooJava/mergesort/makefile
@@ -5,7 +5,7 @@ SOURCE_FILES=BMergeSort4.java
 
 BUILDSCRIPT=../../../buildscript
 
-USEOOO= -ooojava 31 2  -ooodebug  
+USEOOO= -ooojava 64 2  -ooodebug  
 BSFLAGS= -64bit -mainclass $(PROGRAM) -garbagestats -joptimize #-debug
 #USEOOO= -ooojava 8 2  -ooodebug  
 #BSFLAGS= -64bit -nooptimize -mainclass $(PROGRAM) -debug -garbagestats -joptimize

diff --git a/Robust/src/Benchmarks/oooJava/mergesort/runp b/Robust/src/Benchmarks/oooJava/mergesort/runp
new file mode 100755 (executable)
index 0000000..f069baa
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/mergesort/runp
@@ -0,0 +1 @@
+time ./MergeSort4p.bin 134217728 32

diff --git a/Robust/src/Benchmarks/oooJava/mergesort/runs b/Robust/src/Benchmarks/oooJava/mergesort/runs
new file mode 100755 (executable)
index 0000000..23cb39f
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/mergesort/runs
@@ -0,0 +1 @@
+time ./MergeSort4s.bin 134217728 32