Merge remote-tracking branch 'public/pr/779' into development

This commit is contained in:
Simon Butcher 2018-07-24 17:20:36 +01:00
commit 729d7814c8

View file

@ -221,7 +221,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