From 5001ad8ed33cbf155151e5b63d4fd12138dafe91 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 15 Dec 2006 14:06:42 +0000
Subject: [PATCH] Added NOINLINE pragma to Today.hs, to avoid forcing
 recompilation of modules that depend on GF.Today.

---
 src/tools/mktoday.sh | 1 +
 1 file changed, 1 insertion(+)

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