diff options
author | joerg@trift2. <> | 2007-01-23 10:47:21 +0100 |
---|---|---|
committer | joerg@trift2. <> | 2007-01-23 10:47:21 +0100 |
commit | 021d31180c52ca87ec2b529f5a41784ca361c8c6 (patch) | |
tree | 7bb19cb96f816ca9f9f9e2811d9bf1543b0f18a5 /BUILD | |
parent | f6e70c1453e5e9836e20b52c3a3c460194050c2f (diff) | |
parent | cf53cd27b001fe3cb04ed48c9a66ef452edff38f (diff) | |
download | mariadb-git-021d31180c52ca87ec2b529f5a41784ca361c8c6.tar.gz |
Merge jbruehe@bk-internal.mysql.com:/home/bk/mysql-4.1-build
into trift2.:/MySQL/M41/push-4.1
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/check-cpu | 30 |
1 files changed, 27 insertions, 3 deletions
diff --git a/BUILD/check-cpu b/BUILD/check-cpu index 35091c2b9de..2854ec721c6 100755 --- a/BUILD/check-cpu +++ b/BUILD/check-cpu @@ -5,9 +5,13 @@ # check_cpu () { - if test -r /proc/cpuinfo ; then + CPUINFO=/proc/cpuinfo + if test -n "$TEST_CPUINFO" ; then + CPUINFO=$TEST_CPUINFO + fi + if test -r "$CPUINFO" -a "$CPUINFO" != " " ; then # on Linux (and others?) we can get detailed CPU information out of /proc - cpuinfo="cat /proc/cpuinfo" + cpuinfo="cat $CPUINFO" # detect CPU family cpu_family=`$cpuinfo | grep 'family' | cut -d ':' -f 2 | cut -d ' ' -f 2 | head -1` @@ -33,6 +37,7 @@ check_cpu () { done else # Fallback when there is no /proc/cpuinfo + CPUINFO=" " case "`uname -s`" in FreeBSD|OpenBSD) cpu_family=`uname -m`; @@ -84,6 +89,18 @@ check_cpu () { *Pentium*M*pro*) cpu_arg="pentium-m"; ;; + *Celeron\(R\)*\ M*) + cpu_arg="pentium-m"; + ;; + *Celeron*Coppermine*) + cpu_arg="pentium3" + ;; + *Celeron\(R\)*) + cpu_arg="pentium4" + ;; + *Celeron*) + cpu_arg="pentium2"; + ;; *Athlon*64*) cpu_arg="athlon64"; ;; @@ -113,7 +130,14 @@ check_cpu () { esac - if test -z "$cpu_arg"; then + if test -z "$cpu_arg" ; then + if test "$CPUINFO" != " " ; then + # fallback to uname if necessary + TEST_CPUINFO=" " + check_cpu_cflags="" + check_cpu + return + fi echo "BUILD/check-cpu: Oops, could not find out what kind of cpu this machine is using." >&2 check_cpu_cflags="" return |