From 9839360a10d8d36bf802c109263d6800ed0eefb0 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 ea9690173e..0cda059a52 100755 --- a/tests/scripts/all.sh +++ b/tests/scripts/all.sh @@ -116,7 +116,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