diff --git a/configure b/configure index a9335460910b2e1acbade5fe78e73f3da854e5ba..157517f406f4f502cae828f1a9874d13a9359f33 100755 --- a/configure +++ b/configure @@ -408,14 +408,18 @@ set_weak(){ done } +sanitize_var_name(){ + echo $@ | sed 's/[^A-Za-z0-9_]/_/g' +} + set_safe(){ var=$1 shift - eval $(echo "$var" | sed 's/[^A-Za-z0-9_]/_/g')='$*' + eval $(sanitize_var_name "$var")='$*' } get_safe(){ - eval echo \$$(echo "$1" | sed 's/[^A-Za-z0-9_]/_/g') + eval echo \$$(sanitize_var_name "$1") } pushvar(){