configure: Add stub support for --build=<cpu>-<vendor>-<host> option.

I'm not sure that this option would actually be useful for anything,
but debhelper at least expects our configure script to support it. So
we'll accept it and ignore it.

diff --git a/configure b/configure
index 648d8771b9198ca02f2fb995c66a461ba336aeff..65a533f1e74f84e3ff314b5ca15593a07cbc334d 100755 (executable)
--- a/configure
+++ b/configure
@@ -69,6 +69,11 @@ Fine tuning of some installation directories is available:
 
        --libdir=DIR    Install libraries in LIBDIR [PREFIX/lib]
 
 
        --libdir=DIR    Install libraries in LIBDIR [PREFIX/lib]
 

+Additional options are accepted for compatibility with other
+configure-script calling conventions, but don't do anything yet:
+
+       --build=<cpu>-<vendor>-<os>     Currently ignored
+

 EOF
 }
 
 EOF
 }
 


@@ -81,6 +86,22 @@ for option; do
        PREFIX="${option#*=}"
     elif [ "${option%%=*}" = '--libdir' ] ; then
        LIBDIR="${option#*=}"
        PREFIX="${option#*=}"
     elif [ "${option%%=*}" = '--libdir' ] ; then
        LIBDIR="${option#*=}"

+    elif [ "${option%%=*}" = '--build' ] ; then
+       build_option="${option#*=}"
+       case ${build_option} in
+           *-*-*) ;;
+           *)
+               echo "Unrecognized value for --build option: ${build_option}"
+               echo "Should be: <cpu>-<vendor>-<os>"
+               echo "See:"
+               echo "  $0 --help"
+               echo ""
+               exit 1
+       esac
+       build_cpu=${build_option%%-*}
+       build_option=${build_option#*-}
+       build_vendor=${build_option%%-*}
+       build_os=${build_option#*-}

     else
        echo "Unrecognized option: ${option}."
        echo "See:"
     else
        echo "Unrecognized option: ${option}."
        echo "See:"