diff options
Diffstat (limited to 't/check12.sh')
-rw-r--r-- | t/check12.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/t/check12.sh b/t/check12.sh index 0f3928a35..d02b2652f 100644 --- a/t/check12.sh +++ b/t/check12.sh @@ -182,8 +182,8 @@ for vpath in : false; do CHECKLOCAL_EXIT_STATUS=1 $MAKE check && exit 1 grep 'check-local failed :-(' local.log - # Do not trust the exit status of 'make -k'. - NAIL=screw B_EXIT_STATUS=23 CHECKLOCAL_EXIT_STATUS=1 $MAKE -k check || : + env NAIL=screw B_EXIT_STATUS=23 CHECKLOCAL_EXIT_STATUS=1 \ + $MAKE -k check && exit 1 test -f hammer.log test -f hammer.sum test -f spanner.log |