commit 5cf3621283fc1f5b5f07893e7334cc5798e44eed
parent 3bd0d8d0f6d70bdfc27c7e51755946ada32516a9
Author: Brian Swetland <swetland@frotz.net>
Date: Fri, 29 Sep 2023 19:05:13 -0700
runtest: log compiler crash failures
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tools/runtest b/tools/runtest
@@ -12,7 +12,7 @@ log="${txt%.txt}.log"
msg="${txt%.txt}.msg"
gold="${src%.src}.log"
-#echo "RUNTEST: $src: compiling..."
+echo "RUNTEST: $src: compiling..."
if tools/compile "$src" "$base" 2> "$msg"; then
# success!
if [[ "$txt" == *"-err"* ]]; then
@@ -38,6 +38,7 @@ if tools/compile "$src" "$base" 2> "$msg"; then
else
if [[ $? > 127 ]]; then
echo "RUNTEST: $src: FAIL: compiler crashed"
+ echo "FAIL: $src" > "$txt"
cat "$msg"
# failure
elif [[ "$txt" == *"-err"* ]]; then