summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck11
1 files changed, 10 insertions, 1 deletions
diff --git a/check b/check
index 599d9e8..a20fe4e 100755
--- a/check
+++ b/check
@@ -30,6 +30,15 @@ subplot docgen bumper.md -o bumper.pdf
subplot codegen bumper.md -o test.py
rm -f test.log
-$hideok python3 test.py --log test.log "$@"
+if $hideok python3 test.py --log test.log "$@"
+then
+ echo "test program OK"
+else
+ echo "test program FAILED, log file follows"
+ echo ==================================================================
+ cat test.log
+ echo ==================================================================
+ exit 42
+fi
echo "Everything seems to be in order."