Revert temporary checkin in revision 63545.
diff --git a/configure b/configure
index b24c829..f6010ef 100755
--- a/configure
+++ b/configure
@@ -2189,17 +2189,6 @@
 { 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_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