configure.sh: Cleanup argument parsing. Thanks, Timothy!

* configure.sh: Cleanup argument parsing.

configure.sh

@@ -24,61 +24,35 @@ VERSION=0.20
 srcdir=${srcdir-$(dirname $0)}
 . ${srcdest}build-aux/trace.sh
 
-# parse --with-system-libc
+# parse arguments
-cmdline=$(echo "$@")
+while [ $# -gt 0 ]; do
-p=$(echo $cmdline | sed s,--with-system-libc,,)
+    case $1 in
-if test "$p" != "$cmdline"; then
+        (--with-courage)
-    mes_libc=${mes_libc-system}
-else
-    mes_libc=mes
-fi
-
-# parse --with-courage
-cmdline=$(echo " $@")
-p=$(echo $cmdline | sed s,--with-courage,,)
-if test "$p" != "$cmdline"; then
             courageous=true
-else
+            ;;
-    courageous=false
+        (--with-system-libc)
-fi
+            mes_libc=system
+            ;;
+        (--build=*)
+            build=${1#--build=}
+            ;;
+        (--host=*)
+            host=${1#--host=}
+            ;;
+        (--prefix=*)
+            prefix=${1#--prefix=}
+            ;;
+        (--program-prefix=*)
+            program_prefix=${1#--program-prefix=}
+            ;;
+    esac
+    shift
+done
 
-# parse --prefix=PREFIX
+prefix=${prefix-/usr/local}
-p=$(echo $cmdline | sed s,.*--prefix=,-prefix=,)
+mes_libc=${mes_libc-mes}
-if test "$p" != "$cmdline"; then
+courageous=${courageous-false}
-    p=$(echo $p | sed s,.*-prefix=,,)
+host=${host-$build}
-    p=$(echo $p | sed 's, .*,,')
-    prefix=${p-/usr/local}
-else
-    prefix=${prefix-/usr/local}
-fi
-
-# parse --build=BUILD
-p=$(echo $cmdline | sed s,.*--build=,-build=,)
-if [ "$p" != "$cmdline" ]; then
-    p=$(echo $p | sed s,.*-build=,,)
-    p=$(echo $p | sed 's, .*,,')
-    build=${p-$build}
-else
-    build=$build
-fi
-
-# parse --host=HOST
-p=$(echo $cmdline | sed s,.*--host=,-host=,)
-if [ "$p" != "$cmdline" ]; then
-    p=$(echo $p | sed s,.*-host=,,)
-    p=$(echo $p | sed 's, .*,,')
-    host=${p-$build}
-elif test -n "$build"; then
-    host=${host-$build}
-fi
-
-# parse --program-prefix=
-p=$(echo $cmdline | sed s,.*--program-prefix=,-program-prefix=,)
-if test "$p" != "$cmdline"; then
-    p=$(echo $p | sed s,.*-program-prefix=,,)
-    p=$(echo $p | sed 's, .*,,')
-    program_prefix=$p
-fi
 
 AR=${AR-$(command -v ar)} || true
 BASH=${BASH-$(command -v bash)}