commit | f10188d37d1a7489aa8c2e92892d68a120fdca5d | [log] [tgz] |
---|---|---|
author | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 08:26:34 2018 +0100 |
committer | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 08:26:34 2018 +0100 |
tree | 063f274ef734dede2e9a737fd871a2fd8f483069 | |
parent | c098ec3af6536e3d59b62e2e0f71c6b9c5017de8 [diff] | |
parent | 7ef1f5b0c6db8cda3e3fb5044282ad22ff6704dc [diff] |
Merge remote-tracking branch 'public/pr/1876' into mbedtls-2.1
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 5c1ae2d..7868144 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