1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-27 13:04:36 +03:00

fix shell script

This commit is contained in:
df@pippilotta.erinye.com
2007-03-21 15:49:51 +01:00
parent 1b84cb44b3
commit 677ca6bb5b

View File

@@ -160,13 +160,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
@@ -177,7 +182,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