changeset 11112:1d2c30ef6c11

Prefer TOOLS/cpuinfo over /proc/cpuinfo on Cygwin, approved by Sascha.
author diego
date Tue, 14 Oct 2003 12:14:48 +0000
parents 5c5579281819
children d1a941c25b4d
files configure
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Tue Oct 14 10:15:35 2003 +0000
+++ b/configure	Tue Oct 14 12:14:48 2003 +0000
@@ -566,7 +566,9 @@
 
 # XXX: this should be ok..
 _cpuinfo="echo"
-if test -r /proc/cpuinfo ; then
+# Cygwin has /proc/cpuinfo, but only supports Intel CPUs
+# FIXME: Remove the cygwin check once AMD CPUs are supported
+if test -r /proc/cpuinfo && not cygwin; then
   # Linux with /proc mounted, extract CPU information from it
   _cpuinfo="cat /proc/cpuinfo"
 elif test -r /compat/linux/proc/cpuinfo ; then