commit 63cc716575f6c99fd54309e468e3e43b5dd4747d
author Andres AG <andres.amayagarcia@arm.com> Tue Jan 31 17:04:45 2017 +0000
committer Simon Butcher <simon.butcher@arm.com> Tue Jul 24 13:40:25 2018 +0100
tree 70967191d0315ef399bbc35d4a3cd9805b7de87e
parent 48776350b2dc2e5c140ffd10b543fdc7e24c831d

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 8582203..53c5e37 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -193,7 +193,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