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