enable dsm sandboxing

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 7c73049264145871928f4e2c610763ea686c723f..931382bded42b298badd6fbeb4d5140ce7346c8f 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -773,6 +773,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -DDSTM -I$DSMRUNTIME"
 FILES="$FILES $DSMRUNTIME/trans.c $DSMRUNTIME/mcpileq.c $DSMRUNTIME/objstr.c $DSMRUNTIME/dstm.c $DSMRUNTIME/clookup.c $DSMRUNTIME/llookup.c $DSMRUNTIME/threadnotify.c $DSMRUNTIME/dstmserver.c $DSMRUNTIME/plookup.c $DSMRUNTIME/ip.c $DSMRUNTIME/queue.c $DSMRUNTIME/altprelookup.c $DSMRUNTIME/machinepile.c $ROBUSTROOT/Runtime/localobjects.c $ROBUSTROOT/Runtime/thread.c $DSMRUNTIME/sockpool.c $DSMRUNTIME/addUdpEnhance.c $DSMRUNTIME/signal.c $DSMRUNTIME/gCollect.c $DSMRUNTIME/addPrefetchEnhance.c $DSMRUNTIME/dsmlock.c $DSMRUNTIME/prefetch.c $DSMRUNTIME/altmlookup.c"
 fi
 fi
+
 if $STM
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$STMRUNTIME"
@@ -781,8 +782,13 @@ fi
 
 if $SANDBOX
 then
+if $DSMFLAG
+then
+FILES="$FILES $DSMRUNTIME/sandbox.c"
+else
 FILES="$FILES $STMRUNTIME/sandbox.c"
 fi
+fi
 
 if $ABORTREADERS
 then