Remove temporary debugging code.

diff --git a/configure b/configure
index e8a62eec2537e352907a3266837d5f60c263630e..d48e8dcb64b8848eebfba6c4340835ba067b02df 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,5 +1,5 @@
 #! /bin/sh
-# From configure.in Revision: 82746 .
+# From configure.in Revision: 82090 .
 # Guess values for system-dependent variables and create Makefiles.
 # Generated by GNU Autoconf 2.65 for python 3.2.
 #
@@ -11641,45 +11641,6 @@ $as_echo "#define DOUBLE_IS_ARM_MIXED_ENDIAN_IEEE754 1" >>confdefs.h
 
 fi
 
-# Temporary check for a floating-point bug that appeared on ARM.
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for buggy subnormal floating-point" >&5
-$as_echo_n "checking for buggy subnormal floating-point... " >&6; }
-if test "${ac_cv_buggy_subnormal+set}" = set; then :
-  $as_echo_n "(cached) " >&6
-else
-
-if test "$cross_compiling" = yes; then :
-  ac_cv_buggy_subnormal=no
-else
-  cat confdefs.h - <<_ACEOF >conftest.$ac_ext
-/* end confdefs.h.  */
-
-int main() {
-    double MIN = 2.2250738585072014e-308;  /* 2**-1022 */
-    double TINY = 4.9406564584124654e-324; /* 2**-1074 */
-    double TRIPLE_TINY = 1.4821969375237396e-323;  /* 3 * TINY */
-
-    double diff = MIN - TRIPLE_TINY;
-    double expected_diff = 2.2250738585071999e-308;
-
-    return !(diff == expected_diff);
-}
-
-_ACEOF
-if ac_fn_c_try_run "$LINENO"; then :
-  ac_cv_buggy_subnormal=no
-else
-  ac_cv_buggy_subnormal=yes
-fi
-rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
-  conftest.$ac_objext conftest.beam conftest.$ac_ext
-fi
-
-fi
-
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_buggy_subnormal" >&5
-$as_echo "$ac_cv_buggy_subnormal" >&6; }
-
 # The short float repr introduced in Python 3.1 requires the
 # correctly-rounded string <-> double conversion functions from
 # Python/dtoa.c, which in turn require that the FPU uses 53-bit

diff --git a/configure.in b/configure.in
index 69cd0e3357766dbf246e8ba639c66c83b95f1362..4a7e99a788fa1922241f014a47b2a4262e0e62b7 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -3334,26 +3334,6 @@ then
    in ARM mixed-endian order (byte order 45670123)])
 fi
 
-# Temporary check for a floating-point bug that appeared on ARM.
-AC_MSG_CHECKING(for buggy subnormal floating-point)
-AC_CACHE_VAL(ac_cv_buggy_subnormal, [
-AC_RUN_IFELSE([AC_LANG_SOURCE([[
-int main() {
-    double MIN = 2.2250738585072014e-308;  /* 2**-1022 */
-    double TINY = 4.9406564584124654e-324; /* 2**-1074 */
-    double TRIPLE_TINY = 1.4821969375237396e-323;  /* 3 * TINY */
-
-    double diff = MIN - TRIPLE_TINY;
-    double expected_diff = 2.2250738585071999e-308;
-
-    return !(diff == expected_diff);    
-}
-]])],
-[ac_cv_buggy_subnormal=no],
-[ac_cv_buggy_subnormal=yes],
-[ac_cv_buggy_subnormal=no])])
-AC_MSG_RESULT($ac_cv_buggy_subnormal)
-
 # The short float repr introduced in Python 3.1 requires the
 # correctly-rounded string <-> double conversion functions from
 # Python/dtoa.c, which in turn require that the FPU uses 53-bit