diff --git a/auto/options b/auto/options index 271153a76..363bbbcfb 100644 --- a/auto/options +++ b/auto/options @@ -611,7 +611,7 @@ cat << END END - exit 1 + exit 0 fi