Merge branch 'incremental' of ssh://plrg.ics.uci.edu/home/git/constraint_compiler...

[satune.git] / src / Scripts / runbench.sh

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index 2e47420a990db4e84cdb4cfeba1dce7a6cfc6d11..db570dfd039b99f92047766ad23ca19b052e19ea 100755 (executable)
--- 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
        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"
                        echo "Satune got out of memory"
                        echo "deserializing $d ..."
                        echo "SAT Solving time: 400000000.0"