Make the -fcclazy configuration option visible in the build info in the GF Shell welcome message

2011-09-05 15:20:39 +00:00
parent 875df01dc6
commit e223d3bdb9
1 changed files with 3 additions and 0 deletions
--- a/src/compiler/GF/Infra/BuildInfo.hs
+++ b/src/compiler/GF/Infra/BuildInfo.hs
@@ -13,3 +13,6 @@ buildInfo =
 #ifdef SERVER_MODE
    ++" server"
 #endif
+#ifdef CC_LAZY
+   ++ " cclazy"
+#endif