diff options
Diffstat (limited to '.github/run_test.sh')
-rwxr-xr-x | .github/run_test.sh | 11 |
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 | ||
19 | if [ -z "$LTESTS" ]; then | 19 | if [ -z "$LTESTS" ]; then |
20 | make $TEST_TARGET | 20 | make $TEST_TARGET |
21 | result=$? | ||
21 | else | 22 | else |
22 | make $TEST_TARGET LTESTS="$LTESTS" | 23 | make $TEST_TARGET LTESTS="$LTESTS" |
24 | result=$? | ||
25 | fi | ||
26 | |||
27 | if [ "$result" -ne "0" ]; then | ||
28 | for i in regress/failed*; do | ||
29 | echo ------------------------------------------------------------------------- | ||
30 | echo LOGFILE $i | ||
31 | cat $i | ||
32 | echo ------------------------------------------------------------------------- | ||
33 | done | ||
23 | fi | 34 | fi |