From e2e8dfaeeff6c45ae1cb3a4f4fd198d30017a8e6 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Wed, 13 Nov 2019 12:49:05 -0800 Subject: [PATCH] Bug fix for return value in runbench script --- src/Scripts/runbench.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh index 44e52bf..3e498d2 100755 --- a/src/Scripts/runbench.sh +++ b/src/Scripts/runbench.sh @@ -19,8 +19,9 @@ for d in $DUMP; do if [[ $d = *$1* ]]; 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" -- 2.34.1