working on task mem pool, there is a crash bug, use -ooodebug-disable-task-mem-pool...

[IRC.git] / Robust / src / Tests / oooJava / poolalloc / makefile

diff --git a/Robust/src/Tests/oooJava/poolalloc/makefile b/Robust/src/Tests/oooJava/poolalloc/makefile
index 2e6017d94a9b5d5ece633f0eb4bed8a9851233a0..d9de92378554ccc8b54685bed362eaf705847a85 100644 (file)
--- a/Robust/src/Tests/oooJava/poolalloc/makefile
+++ b/Robust/src/Tests/oooJava/poolalloc/makefile
@@ -5,7 +5,7 @@ SOURCE_FILES=test.java
 BUILDSCRIPT=../../../buildscript
 
 USEOOO= -ooojava 24 2  -ooodebug  
-BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 1024 -garbagestats -noloop -nooptimize -coreprof -coreprof-checkoverflow -coreprof -coreprof-eventwords 1024*1024*128 -debug
+BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 1024 -garbagestats -noloop -nooptimize -coreprof -coreprof-checkoverflow -coreprof -coreprof-eventwords 1024*1024*128 -debug -ooodebug-disable-task-mem-pool
 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions #-disjoint-desire-determinism
 
 all: ooo