summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
Diffstat (limited to '.github')
-rwxr-xr-x.github/run_test.sh11
1 files changed, 11 insertions, 0 deletions
diff --git a/.github/run_test.sh b/.github/run_test.sh
index f8a97f51f..93c3a5e9e 100755
--- a/.github/run_test.sh
+++ b/.github/run_test.sh
@@ -18,6 +18,17 @@ done
18 18
19if [ -z "$LTESTS" ]; then 19if [ -z "$LTESTS" ]; then
20 make $TEST_TARGET 20 make $TEST_TARGET
21 result=$?
21else 22else
22 make $TEST_TARGET LTESTS="$LTESTS" 23 make $TEST_TARGET LTESTS="$LTESTS"
24 result=$?
25fi
26
27if [ "$result" -ne "0" ]; then
28 for i in regress/failed*; do
29 echo -------------------------------------------------------------------------
30 echo LOGFILE $i
31 cat $i
32 echo -------------------------------------------------------------------------
33 done
23fi 34fi