| commit | d7126d70091eccd84bcbba643071bd749f082d74 | [log] [tgz] |
|---|---|---|
| author | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 13:38:44 2018 +0100 |
| committer | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 13:38:44 2018 +0100 |
| tree | cc1985446297008c0abcb6b9da8993336214d578 | |
| parent | 1bb41e5d046b1455bd398362794464242b721941 [diff] | |
| parent | 9839360a10d8d36bf802c109263d6800ed0eefb0 [diff] |
Merge remote-tracking branch 'public/pr/779' into mbedtls-2.7
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 797831e..fed631f 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -218,7 +218,7 @@ check_tools() { 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!" exit 1 fi