# HG changeset patch
# User alex
# Date 1068159460 0
# Node ID ddff8d18dcc1ebaf71fc89ad68391600255d41e4
# Parent  86ab7e0b2a65a489773360b25efc09e00ba14927
prefer our cpuinfo.c over linux emu proc/cpuinfo under freebsd on x86

diff -r 86ab7e0b2a65 -r ddff8d18dcc1 configure
--- a/configure	Thu Nov 06 22:34:20 2003 +0000
+++ b/configure	Thu Nov 06 22:57:40 2003 +0000
@@ -585,7 +585,7 @@
 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
+elif test -r /compat/linux/proc/cpuinfo && not x86 ; then
   # FreeBSD with Linux emulation /proc mounted,
   # extract CPU information from it
   _cpuinfo="cat /compat/linux/proc/cpuinfo"