diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/common/suite.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/common/suite.sh b/ci/common/suite.sh index c0c470dce1..0320ac15c3 100644 --- a/ci/common/suite.sh +++ b/ci/common/suite.sh @@ -14,6 +14,7 @@ fail() { local full_msg="$test_name :: $message" echo "${full_msg}" >> "${FAIL_SUMMARY_FILE}" echo "Failed: $full_msg" + FAILED=1 } ended_successfully() { |