diff options
Diffstat (limited to 'stubdom/configure')
| -rwxr-xr-x | stubdom/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stubdom/configure b/stubdom/configure index 51ca6766f0..218457f663 100755 --- a/stubdom/configure +++ b/stubdom/configure @@ -3119,7 +3119,7 @@ $as_echo "no" >&6; } fi -if test x"${WGET}" == x"no" +if test x"${WGET}" = x"no" then as_fn_error $? "Unable to find wget, please install wget" "$LINENO" 5 fi @@ -3168,7 +3168,7 @@ $as_echo "no" >&6; } fi -if test x"${CMAKE}" == x"no" +if test x"${CMAKE}" = x"no" then as_fn_error $? "Unable to find cmake, please install cmake" "$LINENO" 5 fi |