commit 9839360a10d8d36bf802c109263d6800ed0eefb0
author Andres AG <andres.amayagarcia@arm.com> Tue Jan 31 17:04:45 2017 +0000
committer Andres AG <andres.amayagarcia@arm.com> Tue Jan 31 17:04:45 2017 +0000
tree 26215ddfe8f1413df66e57c25b664fc202ff8113
parent cb587009d679812dc27979c867cdc0e056a132e6

Fix all.sh check_tools function to handle paths

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index ea96901..0cda059 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -116,7 +116,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