From 63cc716575f6c99fd54309e468e3e43b5dd4747d Mon Sep 17 00:00:00 2001 From: Andres AG Date: Tue, 31 Jan 2017 17:04:45 +0000 Subject: [PATCH] Fix all.sh check_tools function to handle paths --- tests/scripts/all.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh index 8582203cf2..53c5e37a2b 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -193,7 +193,7 @@ err_msg() 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