diff -r a6e77861ea46 -r 83083566fdd0 config/companion_libs.in --- a/config/companion_libs.in Mon Jun 01 17:05:50 2009 +0000 +++ b/config/companion_libs.in Sun Jun 14 22:56:26 2009 +0200 @@ -60,11 +60,11 @@ help It is highly recommended to check the newly built companion libraries. Unfortunately, this is a very intensive task, and takes a loooong time. - + Checking the newly built companion libraries is thus disabled by default, but it is suggested that you check them at least once on your machine, and if they work, disable the check on subsequent builds. - + If you suspect that one (or more) of your companion libraries is the cause for incorrectly generated code, you should answer 'Y' here. Note however that this will take a really long time. For example,