From: bdemsky Date: Thu, 1 Oct 2009 06:44:36 +0000 (+0000) Subject: sandbox option X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5a9d23dba19d60c0071473a8a19d95529bb1b497;p=IRC.git sandbox option --- diff --git a/Robust/src/buildscript b/Robust/src/buildscript index 8d5bb769..c9b101fe 100755 --- 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"