diff --git a/configure b/configure index 5b38f28..08b259c 100755 --- a/configure +++ b/configure @@ -60,6 +60,13 @@ case "$cpu" in cpu="unknown" ;; esac +if [ "cpu" = x86 ] && [ "$(uname -s)" = "Darwin" ] +then + if [ $(uname -r | cut -d '.' -f 1) -eq 10 ] + then + cpu="x86-64" + fi +fi gprof="no" bigendian="no" mingw32="no"