1.1 --- a/config/companion_libs/ppl.in	Tue May 05 22:04:20 2009 +0000
     1.2 +++ b/config/companion_libs/ppl.in	Mon May 25 19:46:58 2009 +0000
     1.3 @@ -17,17 +17,3 @@
     1.4      default "0.10.2" if PPL_V_0_10_2
     1.5  # CT_INSERT_VERSION_STRING_ABOVE
     1.6  # Don't remove above line!
     1.7 -
     1.8 -config PPL_CHECK
     1.9 -    bool
    1.10 -    prompt "Check PPL (!!! README !!!)"
    1.11 -    default n
    1.12 -    help
    1.13 -      Checking PPL is very intensive and takes a loooong time.
    1.14 -      The PPL folks do not recommend checking the library, but they do
    1.15 -      not recommend not checking it, either.
    1.16 -      
    1.17 -      Checking PPL is thus disabled by default.
    1.18 -      
    1.19 -      If you suspect that your PPL library is the cause for incorrectly
    1.20 -      generated code, you should answer 'Y' here.