diff -r ade232db1313 -r 1f3f3969d644 configure --- a/configure Sun Jul 01 21:21:11 2007 +0000 +++ b/configure Mon Jul 02 17:47:55 2007 +0000 @@ -15,7 +15,7 @@ local ret case "$1" in --*=?*) - echo "${1:9}" + echo "${1}" |cut -d '=' -f 2- ret=0 ;; *)