add batch-mode script

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / makefile

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index 83adb837424f58eea83e235ccc6d04bc188fb63b..3f7f58bd6afaffe68013e782414c4d80d145c269 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
@@ -12,7 +12,7 @@ RANDOMSEED=12345
 endif
 
 SSJAVA= -ssjava -ssjavadebug
 endif
 
 SSJAVA= -ssjava -ssjavadebug

-BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1000  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
+BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350  -nooptimize -debug -garbagestats #-printlinenum #-joptimize

 NORMAL= -ssjava-inject-error 0 0
 INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
 
 NORMAL= -ssjava-inject-error 0 0
 INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)