Output test debug logs on failure.

diff --git a/.github/run_test.sh b/.github/run_test.sh
index f8a97f51f1770fe3dbf44c320440c3520da3c916..93c3a5e9ed9dfc109a443638bd084400c126b026 100755 (executable)
--- a/.github/run_test.sh
+++ b/.github/run_test.sh
@@ -18,6 +18,17 @@ done
 
 if [ -z "$LTESTS" ]; then
     make $TEST_TARGET
+    result=$?
 else
     make $TEST_TARGET LTESTS="$LTESTS"
+    result=$?
+fi
+
+if [ "$result" -ne "0" ]; then
+    for i in regress/failed*; do
+        echo -------------------------------------------------------------------------
+        echo LOGFILE $i
+        cat $i
+        echo -------------------------------------------------------------------------
+    done
 fi