diff --git a/configure b/configure index 6d918c80f7..5c13369ef7 100755 --- a/configure +++ b/configure @@ -295,7 +295,7 @@ filter(){ pat=$1 shift for v; do - case "$v" in $pat) echo "$v" ;; esac + eval "case $v in $pat) echo $v ;; esac" done }