diff --git a/configure b/configure index 111131f614..8fdfe7b8a5 100755 --- a/configure +++ b/configure @@ -309,6 +309,7 @@ disabled_any(){ for opt; do disabled $opt && return 0 done + return 1 } set_default(){