diff options
| -rwxr-xr-x | configure | 13 | ||||
| -rw-r--r-- | configure.in | 11 |
2 files changed, 23 insertions, 1 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Revision: 62499 . +# From configure.in Revision: 62644 . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.61 for python 2.6. # @@ -2184,6 +2184,17 @@ ac_sys_machine=`uname -m` { echo "$as_me:$LINENO: result: $ac_sys_machine" >&5 echo "${ECHO_T}$ac_sys_machine" >&6; } +# temporary check to find out which exact processor +# is in the Debian/alpha buildbot. +case $ac_sys_system in + Linux*) + case $ac_sys_machine in alpha*) + cat /proc/cpuinfo + ;; + esac + ;; +esac + # checks for alternative programs # compiler flags are generated in two sets, BASECFLAGS and OPT. OPT is just diff --git a/configure.in b/configure.in index bc9a02e961..a7c96f90d0 100644 --- a/configure.in +++ b/configure.in @@ -350,6 +350,17 @@ AC_MSG_CHECKING(machine type as reported by uname -m) ac_sys_machine=`uname -m` AC_MSG_RESULT($ac_sys_machine) +# temporary check to find out which exact processor +# is in the Debian/alpha buildbot. +case $ac_sys_system in + Linux*) + case $ac_sys_machine in alpha*) + cat /proc/cpuinfo + ;; + esac + ;; +esac + # checks for alternative programs # compiler flags are generated in two sets, BASECFLAGS and OPT. OPT is just |