| commit | 729d7814c84b5ee4dd7013fc44e3a8450e45560b | [log] [tgz] |
|---|---|---|
| author | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 17:20:36 2018 +0100 |
| committer | Simon Butcher <simon.butcher@arm.com> | Tue Jul 24 17:20:36 2018 +0100 |
| tree | a7e146b063cc4b69d84a98144b91cb7a0f478aa7 | |
| parent | 2c92949e0a2ca24e0c659e85d002f90c97312806 [diff] | |
| parent | 9839360a10d8d36bf802c109263d6800ed0eefb0 [diff] |
Merge remote-tracking branch 'public/pr/779' into development
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 28d31b9..d7d5a8c 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh
@@ -221,7 +221,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