added a debug option for deque

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index a1b162f8de158062e547835a8a08023e60ea1a90..e36d9762c45ca1d2a1af34d390ed3b87da941ecd 100755 (executable)
--- 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