X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FScripts%2Frunbench.sh;h=db570dfd039b99f92047766ad23ca19b052e19ea;hp=2e47420a990db4e84cdb4cfeba1dce7a6cfc6d11;hb=5ccf3749ff1384aef34a39b3f55a14f023407cec;hpb=bed906ecffc73c896ce7b2834cc77cd5b7826ef1

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index 2e47420..db570df 100755
--- a/src/Scripts/runbench.sh
+++ b/src/Scripts/runbench.sh
@@ -19,8 +19,9 @@ for d in $DUMP; do
 	if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; then
 		echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
 		./run.sh tunerrun "."$d $2 $3 out.out
-		echo "Return code: $?"
-		if [ $? -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
+		RETCODE=$?
+		echo "Return code: $RETCODE"
+		if [ $RETCODE -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
 			echo "Satune got out of memory"
 			echo "deserializing $d ..."
 			echo "SAT Solving time: 400000000.0"