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