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