# HG changeset patch # User "Yann E. MORIN" # Date 1183398475 0 # Node ID 1f3f3969d644fdf8a1f0dfcae72df958582c63bc # Parent cea313af395e7f5e0a01bc09c4a74f1ce015f176 Fix handling --prefix. diff -r cea313af395e -r 1f3f3969d644 configure --- a/configure Mon Jul 02 17:47:17 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 ;; *)