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 Aug 03 00:49:25 2009 +0200
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.