From 16a1d431219b1e6d475b366083066a1ab1d06841 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 9 Oct 2009 07:10:22 +0000
Subject: [PATCH] move sandbox into different file

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

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 979ade23..621874ee 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -70,6 +70,7 @@ echo -assembly generate assembly
 echo -help help
 }
 
+SANDBOX=false;
 ABORTREADERS=false;
 ROBUSTROOT=~/research/Robust/src
 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
@@ -136,6 +137,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
 JAVAOPTS="$JAVAOPTS -abortreaders"
 elif [[ $1 = '-sandbox' ]]
 then
+SANDBOX=true
 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
 JAVAOPTS="$JAVAOPTS -sandbox"
 elif [[ $1 = '-robustroot' ]]
@@ -692,6 +694,11 @@ EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$DSMRUNTIME"
 FILES="$FILES $DSMRUNTIME/stmlock.c $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c"
 fi
 
+if $SANDBOX
+then
+FILES="$FILES $DSMRUNTIME/sandbox.c"
+fi
+
 if $ABORTREADERS
 then
 FILES="$FILES $DSMRUNTIME/abortreaders.c"
-- 
2.34.1