Disable detailed version info from darcs

TODO: get version info from git instead.
2017-08-11 15:33:21 +02:00
parent 97e61c27fb
commit 7b0deda45a
1 changed files with 2 additions and 2 deletions
--- a/src/compiler/GF/Infra/BuildInfo.hs
+++ b/src/compiler/GF/Infra/BuildInfo.hs
@@ -6,8 +6,8 @@ import DarcsVersion_gf

 {-# NOINLINE buildInfo #-}
 buildInfo =
-    details
-    ++"\nBuilt on "++os++"/"++arch
+    {-details++"\n"++-}
+    "Built on "++os++"/"++arch
    ++" with "++compilerName++"-"++showVersion compilerVersion
    ++", flags:"
 #ifdef USE_INTERRUPT