diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-15 14:06:42 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-15 14:06:42 +0000 |
| commit | 1f1be57279d2c79ee9d79119f592dffc7b97b13a (patch) | |
| tree | 8222d5ee4b2a7613176da23c414378272d298e58 /src/tools | |
| parent | 0b7fef1a33db15593493b80f8a65aa96c6530f5c (diff) | |
Added NOINLINE pragma to Today.hs, to avoid forcing recompilation of modules that depend on GF.Today.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/mktoday.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/mktoday.sh b/src/tools/mktoday.sh index 8f13f61d9..1865fd4d1 100644 --- a/src/tools/mktoday.sh +++ b/src/tools/mktoday.sh @@ -1,6 +1,7 @@ #!/bin/sh echo 'module GF.Today (today,version) where' > GF/Today.hs +echo '{-# NOINLINE today #-}' >> GF/Today.hs echo 'today,version :: String' >> GF/Today.hs echo 'today = "'`date`'"' >> GF/Today.hs echo 'version = "'$1'"' >> GF/Today.hs |