diff --git a/configure b/configure index ddd8ca35f5..e78d1bad76 100755 --- a/configure +++ b/configure @@ -540,8 +540,13 @@ enable_deep(){ } enable_deep_weak(){ - do_enable_deep $* - enable_weak $* + for var; do + disabled $var && continue + pushvar var + do_enable_deep $var + popvar var + enable_weak $var + done } enabled(){