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

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

diff --git a/Robust/src/Benchmarks/oooJava/tracking/makefile b/Robust/src/Benchmarks/oooJava/tracking/makefile
index 6d4c8c633542bfc31f0210b50ae600a1acf1ad12..4149170e6cd67a74baadfd3a7bef628ae74cdd19 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/tracking/makefile
+++ b/Robust/src/Benchmarks/oooJava/tracking/makefile
@@ -5,4 +5,6 @@ SOURCE_FILES=TrackingBench.java
 NUM_OOO_WORKERS=24
 NUM_RCR_WORKERS=23
 
+BMFLAGS= -heapsize-mb 5000
+
 include ../master-makefile