Merge remote-tracking branch 'public/pr/1877' into mbedtls-2.7

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

View file

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