From: jjenista <jjenista>
Date: Mon, 25 Oct 2010 20:05:39 +0000 (+0000)
Subject: added a debug option for deque
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ad298e259d554dc660c7ff300a3781970bfc543e;p=IRC.git

added a debug option for deque
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index a1b162f8..e36d9762 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -570,6 +570,9 @@ JAVAOPTS="$JAVAOPTS -rcr"
 RCR=true
 EXTRAOPTIONS="$EXTRAOPTIONS -DRCR -I$ROBUSTROOT/Runtime/oooJava"
 
+elif [[ $1 = '-debug-deque' ]]
+then
+EXTRAOPTIONS="$EXTRAOPTIONS -DDEBUG_DEQUE"
 
 elif [[ $1 = '-coreprof' ]]
 then
@@ -1222,6 +1225,7 @@ then
 FILES="$FILES $ROBUSTROOT/Runtime/mlp_runtime.c"
 FILES="$FILES $ROBUSTROOT/Runtime/psemaphore.c"
 FILES="$FILES $ROBUSTROOT/Runtime/workschedule.c"
+FILES="$FILES $ROBUSTROOT/Runtime/deque.c"
 fi
 
 if $RECOVERFLAG