diff options
Diffstat (limited to 'BUILD')
| -rwxr-xr-x | BUILD/SETUP.sh | 1 | ||||
| -rwxr-xr-x | BUILD/check-cpu | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index febaac66e14..10324c22e56 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -34,6 +34,7 @@ Note: this script is intended for internal use by MySQL developers. EOF * ) echo "Unknown option '$1'" + echo "Use -h or --help for usage" exit 1 break ;; esac diff --git a/BUILD/check-cpu b/BUILD/check-cpu index f1c9bc51dc5..96ed1d0e08f 100755 --- a/BUILD/check-cpu +++ b/BUILD/check-cpu @@ -114,6 +114,10 @@ check_cpu () { *i386*i486*) cpu_arg="pentium-m"; ;; + #Core 2 Duo + *Intel*Core\(TM\)2*) + cpu_arg="nocona"; + ;; # Intel ia64 *Itanium*) |