1.1 --- a/config/companion_libs/cloog.in	Sun May 24 22:04:14 2009 +0000
     1.2 +++ b/config/companion_libs/cloog.in	Sun Aug 30 19:33:48 2009 +0200
     1.3 @@ -17,16 +17,3 @@
     1.4      default "0.15.3" if CLOOG_V_0_15_3
     1.5  # CT_INSERT_VERSION_STRING_ABOVE
     1.6  # Don't remove above line!
     1.7 -
     1.8 -config CLOOG_CHECK
     1.9 -    bool
    1.10 -    prompt "Check CLooG (!!! README !!!)"
    1.11 -    default n
    1.12 -    help
    1.13 -      It is highly recommended to check the newly built CLooG library.
    1.14 -      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.15 -      
    1.16 -      Checking CLooG is thus disabled by default.
    1.17 -      
    1.18 -      If you suspect that your CLooG library is the cause for incorrectly
    1.19 -      generated code, you should answer 'Y' here.