| commit | 62041cc50be34d2763242e1aafa97da195768208 | [log] [tgz] |
|---|---|---|
| author | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 12:14:03 2018 +0100 |
| committer | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 12:14:03 2018 +0100 |
| tree | 42ed04317cd3b7e62a7ca964c296255150742766 | |
| parent | f10188d37d1a7489aa8c2e92892d68a120fdca5d [diff] | |
| parent | e9a437fe59b4e0d3ac38d5e3faec012319011f14 [diff] |
Merge remote-tracking branch 'public/pr/1873' into mbedtls-2.1
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 70dde28..8582203 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -308,6 +308,7 @@ echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" echo "${start_red}FAILED: $failure_count${end_color}$failure_summary" echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" + exit 1 elif [ -z "${1-}" ]; then echo "SUCCESS :)" fi