diff --git a/configure b/configure index b507da973788c325af01391aa871641cc1a2a004..7943255d6a2682798158a7d4d529ffc07167d876 100755 --- a/configure +++ b/configure @@ -74,7 +74,7 @@ if [ $# -lt 1 ] ; then else case $1 in -h|--help) confhelp ; exit 0 ;; - *) if `grep "^$1" $ARCHS >/dev/null 2>&1` ; then + *) if `grep "^$1 " $ARCHS >/dev/null 2>&1` ; then arch=$1 echo "Configuring for $arch" shift