From 5a9d23dba19d60c0071473a8a19d95529bb1b497 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 1 Oct 2009 06:44:36 +0000
Subject: [PATCH] sandbox option

---
 Robust/src/buildscript | 5 +++++
 1 file changed, 5 insertions(+)

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"
-- 
2.34.1