diff --git a/configure b/configure index 261551b0398da8c710c342fc458436174a48a58e..0721dbfadada451a890df281eb680c8ef6e004b5 100755 --- a/configure +++ b/configure @@ -235,12 +235,24 @@ enabled_all(){ done } +disabled_all(){ + for opt; do + disabled $opt || return 1 + done +} + enabled_any(){ for opt; do enabled $opt && return 0 done } +disabled_any(){ + for opt; do + disabled $opt && return 0 + done +} + check_deps(){ for cfg; do eval dep_all="\$${cfg}_deps"