config/companion_libs/mpc.in
changeset 1446 0a44fc4d6bd0
parent 1384 b23f3c2e0c73
child 1531 d173907c6c7e
     1.1 --- a/config/companion_libs/mpc.in	Mon May 25 18:22:26 2009 +0000
     1.2 +++ b/config/companion_libs/mpc.in	Sun Aug 02 20:06:44 2009 +0200
     1.3 @@ -17,16 +17,3 @@
     1.4      default "0.6" if MPC_V_0_6
     1.5  # CT_INSERT_VERSION_STRING_ABOVE
     1.6  # Don't remove above line!
     1.7 -
     1.8 -config MPC_CHECK
     1.9 -    bool
    1.10 -    prompt "Check MPC (!!! README !!!)"
    1.11 -    default n
    1.12 -    help
    1.13 -      It is highly recommended to check the newly built MPC library.
    1.14 -      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.15 -
    1.16 -      Checking MPC is thus disabled by default.
    1.17 -
    1.18 -      If you suspect that your MPC library is the cause for incorrectly
    1.19 -      generated code, you should answer 'Y' here.