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

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 1ffb3f5d7258aeaf5bc5248721b184b14ae074ac..cfebc7aedcaf30403549c447f1df1e05eef96ba3 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -22,6 +22,7 @@ echo -coreprof-eventwords NUM  space in words/thread for coreprof events
 echo -coreprof-checkoverflow ONLY use for debugging event overflow
 echo "-ooojava <numberofcores> <maxseseage>"
 echo -ooodebug general OOOJava debugging messages
+echo -ooodebug-disable-task-mem-pool this is a tricky module, disable for simpler runtime
 echo -rcr turn on runtime conflict resolver
 echo
 echo Disjoint Reachability Analysis options
@@ -536,6 +537,10 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DPRECISE_GC -lpthread -DMLP"
 shift
 shift
 
+elif [[ $1 = '-ooodebug-disable-task-mem-pool' ]]
+then
+EXTRAOPTIONS="$EXTRAOPTIONS -DOOO_DISABLE_TASKMEMPOOL"
+
 elif [[ $1 = '-heapsize-mb' ]]
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DINITIALHEAPSIZE_MB=($2)"