move heap size of output program into the benchmark-specific makefile

[IRC.git] / Robust / src / Benchmarks / oooJava / sor / makefile

diff --git a/Robust/src/Benchmarks/oooJava/sor/makefile b/Robust/src/Benchmarks/oooJava/sor/makefile
index 980264557f2c91107f1169cb228afea4ff295b6e..75f83275e888a91d047d26a1788bd2630ce0aa35 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/sor/makefile
+++ b/Robust/src/Benchmarks/oooJava/sor/makefile
@@ -4,6 +4,7 @@ SOURCE_FILES=JGFSORBenchSizeD.java
 
 NUM_OOO_WORKERS=24
 NUM_RCR_WORKERS=23
-#BMFLAGS=-corepin
+
+BMFLAGS= -heapsize-mb 5000 #-corepin
 
 include ../master-makefile