diff options
| -rwxr-xr-x | BUILD/check-cpu | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/BUILD/check-cpu b/BUILD/check-cpu index 96ed1d0e08f..8969f92bda4 100755 --- a/BUILD/check-cpu +++ b/BUILD/check-cpu @@ -164,13 +164,18 @@ check_cpu () { cc_ver=`$cc --version | sed 1q` cc_verno=`echo $cc_ver | sed -e 's/^.*gcc/gcc/g; s/[^0-9. ]//g; s/^ *//g; s/ .*//g'` + set -- `echo $cc_verno | tr '.' ' '` + cc_major=$1 + cc_minor=$2 + cc_patch=$3 + cc_comp=`expr $cc_major '*' 100 '+' $cc_minor` case "$cc_ver--$cc_verno" in *GCC*) # different gcc backends (and versions) have different CPU flags case `gcc -dumpmachine` in i?86-*) - if test "$cc_verno" -lt "3.4" + if test "$cc_comp" -lt 304 then check_cpu_args='-mcpu=$cpu_arg' else @@ -181,7 +186,7 @@ check_cpu () { check_cpu_args='-mcpu=$cpu_arg -mtune=$cpu_arg' ;; x86_64-*) - if test "$cc_verno" -lt "3.4" + if test "$cc_comp" -lt 304 then check_cpu_args='-mcpu=$cpu_arg' else |