diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-05 15:20:39 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-05 15:20:39 +0000 |
| commit | e223d3bdb9ee9ef4b183c13dfcd295da00353ef9 (patch) | |
| tree | 4dd9cc30d4cab244cf61dc113f9d92acb16ea123 /src/compiler | |
| parent | 875df01dc6427afab39131672a9d7ce62059b828 (diff) | |
Make the -fcclazy configuration option visible in the build info in the GF Shell welcome message
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Infra/BuildInfo.hs | 3 |
1 files changed, 3 insertions, 0 deletions
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 |