Merge remote-tracking branch 'public/pr/1876' into mbedtls-2.1

This commit is contained in:
Simon Butcher 2018-07-24 08:26:34 +01:00
commit f10188d37d

View File

@ -308,6 +308,7 @@ $text"
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
echo "${start_red}FAILED: $failure_count${end_color}$failure_summary"
echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!"
exit 1
elif [ -z "${1-}" ]; then
echo "SUCCESS :)"
fi