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 ce714fa723
commit 9b44a2248e
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