bench.sh zaehlt nur dann die Instruktionen, wenn eine Referenzdatei existiert.

diff --git a/scripts/bench.sh b/scripts/bench.sh
index a4dd0d29ceb1a65b63d0e8f8145d17eed7325b16..009a0f14669a70ae3951ece9e0ab4cba6c999bde 100755 (executable)
--- a/scripts/bench.sh
+++ b/scripts/bench.sh
@@ -74,7 +74,7 @@ for i in $TEST/*.0; do
        if [ -f $TEST/${bi}.instr ]; then
                ti=`cat $TEST/$bi.instr`
        else
-               echo "err: fuer den testfall \"$bi\" existiert noch keine referenzdatei"
+               echo "err: fuer den testfall \"$bi\" existiert noch keine referenzdatei. instruktionen werden verworfen."
                ti=0
        fi
 
@@ -94,8 +94,10 @@ for i in $TEST/*.0; do
     echo -e "$bcolor $bi: $ni (referenz: $ti) \033[0m"
     echo "$bi $ni" >> $RESULT
 
-       let gni=gni+$ni
-       let gti=gti+$ti
+       if [ -f $TEST/${bi}.instr ]; then
+               let gni=gni+$ni
+               let gti=gti+$ti
+       fi
 
     # remove waste
     rm -f $TMPNAME $TMPNAME.s $TMPNAME.trace