From ad298e259d554dc660c7ff300a3781970bfc543e Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 25 Oct 2010 20:05:39 +0000
Subject: [PATCH] added a debug option for deque

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

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