diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r-- | config/companion_libs/cloog.in | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index e67e79f..99779c9 100644 --- a/config/companion_libs/cloog.in +++ b/config/companion_libs/cloog.in @@ -17,16 +17,3 @@ config CLOOG_VERSION default "0.15.3" if CLOOG_V_0_15_3 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! - -config CLOOG_CHECK - bool - prompt "Check CLooG (!!! README !!!)" - default n - help - It is highly recommended to check the newly built CLooG library. - Unfortunately, this is a very intensive task, and takes a loooong time. - - Checking CLooG is thus disabled by default. - - If you suspect that your CLooG library is the cause for incorrectly - generated code, you should answer 'Y' here. |