From 818200bd2e5b6978d5a438f3dcafa5321f858425 Mon Sep 17 00:00:00 2001 From: mix Date: Sun, 21 Oct 2018 12:26:01 +0330 Subject: [PATCH] update autogen.sh #205 --- autogen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 588306f..8130e7b 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,7 +1,7 @@ #!/bin/sh checkInstalled () { - which "$1" || { echo "$1 not installed"; exit 0; } + "$1" --help >/dev/null 2>&1 || { echo "$1 not installed"; exit 1; } } srcdir=`dirname $0`