From b7fd65bd9137b9659345895af7630f0fc77af5c6 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Tue, 15 Apr 2008 21:23:49 +0000
Subject: [PATCH] add new option "-robustroot" to enable setting up ROBUSTROOT.
 Defaulty it is set as ~/research/Robust/src.

---
 Robust/src/buildscript | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 62799be4..4438f199 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -1,6 +1,7 @@
 #!/bin/bash
 
 printhelp() {
+echo -robustroot set up the ROBUSTROOT to directory other than default one
 echo -dsm distributed shared memory
 echo -trueprob double - probabiltiy of true branch
 echo -mac distributed shared memory mac support
@@ -33,8 +34,7 @@ echo "-enable-assertions execute assert statements during compilation"
 echo -help help
 }
 
-#ROBUSTROOT=~/research/Robust/src
-ROBUSTROOT=~/workspace/Robust/src
+ROBUSTROOT=~/research/Robust/src
 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
 REPAIRROOT=~/research/Repair/RepairCompiler/
 CURDIR=`pwd`
@@ -65,6 +65,10 @@ if [[ $1 = '-help' ]]
 then
 printhelp
 exit
+elif [[ $1 = '-robustroot' ]]
+then
+ROBUSTROOT="$2"
+shift
 elif [[ $1 = '-o' ]]
 then
 MAINFILE="$2"
-- 
2.34.1