diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index c665472c81c9a1bdb6767438573dea2b890a1562..28971d1a35cb6a974b48267dc2153951ee92acf4 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
if ! ./obn-compile.sh $1; then
OK=0; echo "Test fail: $1 compile-time $?"
fi
if ! ./obn-compile.sh $1; then
OK=0; echo "Test fail: $1 compile-time $?"
fi
- if ! ./obn-run.sh $1; then
- OK=0; echo "Test fail: $1 run-time $?"
+ if [ $OK = 1 ]; then
+ if ! ./obn-run.sh $1; then
+ OK=0; echo "Test fail: $1 run-time $?"
+ fi
fi
fi
- if [ $OK ]; then
+ if [ $OK = 1 ]; then
echo "Test ok: $1"
fi
}
echo "Test ok: $1"
fi
}
maketest Test2
maketest Test3
maketest Test4
maketest Test2
maketest Test3
maketest Test4
+maketest Test5
+maketest Test6
+maketest Test7
+maketest Test8
+maketest Test9
+maketest Test10
+maketest Test11
+maketest Test12
+maketest Test13
+maketest Test14
+maketest Test15
+maketest Test16