diff -r 5d9b7f52514f -r 7995942261f2 config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Mon May 25 17:16:49 2009 +0000
+++ b/config/companion_libs/gmp.in	Mon May 25 19:46:58 2009 +0000
@@ -22,16 +22,3 @@
     default "4.2.4" if GMP_V_4_2_4
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config GMP_CHECK
-    bool
-    prompt "Check GMP (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built GMP library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-
-      Checking GMP is thus disabled by default.
-
-      If you suspect that your GMP library is the cause for incorrectly
-      generated code, you should answer 'Y' here.