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

This commit is contained in:
Simon Butcher 2018-07-24 13:38:44 +01:00
commit d7126d7009

View file

@ -218,7 +218,7 @@ err_msg()
check_tools() check_tools()
{ {
for TOOL in "$@"; do for TOOL in "$@"; do
if ! `hash "$TOOL" >/dev/null 2>&1`; then if ! `type "$TOOL" >/dev/null 2>&1`; then
err_msg "$TOOL not found!" err_msg "$TOOL not found!"
exit 1 exit 1
fi fi