diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-18 20:01:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-18 20:01:22 +0000 |
| commit | 584b6ba86d15e7ff471f94d2d120375ba3604553 (patch) | |
| tree | 09fa0850d6637108e0ce370ee55006dddb309025 /src/compiler/GF/Infra | |
| parent | 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 (diff) | |
Use NOINLINE for build info and darcs version info
... to avoid unnecessary recompilation of other modules.
Diffstat (limited to 'src/compiler/GF/Infra')
| -rw-r--r-- | src/compiler/GF/Infra/BuildInfo.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/Infra/BuildInfo.hs b/src/compiler/GF/Infra/BuildInfo.hs index a9c974e74..8fdfe8779 100644 --- a/src/compiler/GF/Infra/BuildInfo.hs +++ b/src/compiler/GF/Infra/BuildInfo.hs @@ -4,6 +4,7 @@ import System.Info import Data.Version(showVersion) import DarcsVersion_gf +{-# NOINLINE buildInfo #-} buildInfo = details ++"\nBuilt on "++os++"/"++arch |