changeset 16867:d836b98d9619

gcc -dumpmachine outputs x86_64-something on some machines and amd64-something on others. Handle both cases. Fixes bug #325. patch by Pawel Sakowski < pawel __ dot __ sakowski __ dot __ pl >
author diego
date Wed, 26 Oct 2005 20:40:19 +0000
parents 6f7e658ce20c
children 8ae65aaec48d
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Wed Oct 26 13:14:15 2005 +0000
+++ b/configure	Wed Oct 26 20:40:19 2005 +0000
@@ -516,7 +516,7 @@
       i[3-9]86*|x86|x86pc|k5|k6|k6_2|k6_3|k6-2|k6-3|pentium*|athlon*|i586_i686|i586-i686|BePC) host_arch=i386 ;;
       ia64) host_arch=ia64 ;;
       x86_64|amd64)
-        if [ "`$_cc -dumpmachine | grep x86_64 | cut -d- -f1`" = "x86_64" -a \
+        if [ -n "`$_cc -dumpmachine | sed -n '/^x86_64-/p;/^amd64-/p'`" -a \
              -z "`echo $CFLAGS | grep -- -m32`"  ]; then
           host_arch=x86_64
         else