sandbox option

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 8d5bb7693ba72f8b839306f7ef5f2c6cf366dcfa..c9b101fef553d51326c48c4db50887dd1fa45b7c 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -9,6 +9,7 @@ echo -stmdebug STM debug
 echo "-stmstats prints single machine commit (stm) statistics for the benchmark"
 echo -fastmemcpy use fast memcpy
 echo -abortreaders abort readers immediately
+echo -sandbox sandbox transactions
 echo -trueprob double - probabiltiy of true branch
 echo -dsmcaching -enable caching in dsm runtime
 echo -mac distributed shared memory mac support
@@ -133,6 +134,10 @@ then
 ABORTREADERS=true
 EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
 JAVAOPTS="$JAVAOPTS -abortreaders"
+elif [[ $1 = '-sandbox' ]]
+then
+EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
+JAVAOPTS="$JAVAOPTS -sandbox"
 elif [[ $1 = '-robustroot' ]]
 then
 ROBUSTROOT="$2"