# HG changeset patch
# User diego
# Date 1066133688 0
# Node ID 1d2c30ef6c117a13d546928df94eff2d1c32f0a1
# Parent  5c5579281819b1bd72822c528d6b857c1070c78d
Prefer TOOLS/cpuinfo over /proc/cpuinfo on Cygwin, approved by Sascha.

diff -r 5c5579281819 -r 1d2c30ef6c11 configure
--- 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