From e223d3bdb9ee9ef4b183c13dfcd295da00353ef9 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 5 Sep 2011 15:20:39 +0000
Subject: [PATCH] Make the -fcclazy configuration option visible in the build
 info in the GF Shell welcome message

---
 src/compiler/GF/Infra/BuildInfo.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/compiler/GF/Infra/BuildInfo.hs b/src/compiler/GF/Infra/BuildInfo.hs
index 2ff770393..74096994a 100644
--- 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