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

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

diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/makefile b/Robust/src/Benchmarks/oooJava/labyrinth/makefile
index 31c272a21aede21515784ec429bb9f49efd3f6bb..11204ed82aee8af56ad94a702f8e5838cede4d5b 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/labyrinth/makefile
+++ b/Robust/src/Benchmarks/oooJava/labyrinth/makefile
@@ -5,4 +5,6 @@ SOURCE_FILES=Coordinate.java CoordPathWrapper.java Grid.java Labyrinth.java List
 NUM_OOO_WORKERS=24
 NUM_RCR_WORKERS=23
 
+BMFLAGS= -heapsize-mb 5000
+
 include ../master-makefile