configure
changeset 193 1f3f3969d644
parent 185 ade232db1313
child 197 9383bf4a2e2e
     1.1 --- a/configure	Sun Jul 01 21:21:11 2007 +0000
     1.2 +++ b/configure	Mon Jul 02 17:47:55 2007 +0000
     1.3 @@ -15,7 +15,7 @@
     1.4      local ret
     1.5      case "$1" in
     1.6          --*=?*)
     1.7 -            echo "${1:9}"
     1.8 +            echo "${1}" |cut -d '=' -f 2-
     1.9              ret=0
    1.10              ;;
    1.11          *)