diff options
Diffstat (limited to 'src')
| -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 |