diff options
-rwxr-xr-x | configure | 11 | ||||
-rw-r--r-- | configure.in | 11 |
2 files changed, 0 insertions, 22 deletions
@@ -2189,17 +2189,6 @@ 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 b0de6ea..9aad095 100644 --- a/configure.in +++ b/configure.in @@ -355,17 +355,6 @@ 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 |