diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index f483e01a2634ae6574da0e2a8ed8e7f4c00fc374..62fc96760156fc02822c440e67fdc10232c438b4 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest()
{
local OK=1
- if ! ./obn-compile.sh $1; then
- OK=0; echo "Test fail: $1 compile-time $?"
+ local LOG=""
+ if ! LOG="$(./obn-compile.sh $1)"; then
+ OK=0;
+ echo "$LOG"
+ echo "Test fail: $1 compile-time $?"
fi
if [ $OK = 1 ]; then
if ! ./obn-run.sh $1; then
- OK=0; echo "Test fail: $1 run-time $?"
+ OK=0
+ echo "$LOG"
+ echo "Test fail: $1 run-time $?"
fi
fi
if [ $OK = 1 ]; then
maketest Test9
maketest Test10
maketest Test11
+maketest Test12
+maketest Test13
+maketest Test14
+maketest Test15
+maketest Test16