From 4568410afa9ef865ebf25e85866935b63779b94e Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 2 Apr 2009 00:45:57 +0000
Subject: [PATCH] really fix the patch count in development builds' --version

---
 Version.hs | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/Version.hs b/Version.hs
index 5ab0cd060..5510d0ac9 100644
--- a/Version.hs
+++ b/Version.hs
@@ -6,10 +6,13 @@ import Options (progname)
 
 -- updated by build process from VERSION
 version       = "0.3.99"
--- PATCHES defined by build process from repo state
-buildversion  = version ++ "." ++ "\
-PATCHES\
-"
+#ifdef PATCHES
+-- a "make" development build defines PATCHES from the repo state
+patchlevel = "." ++ show PATCHES -- must be numeric !
+#else
+patchlevel = ""
+#endif
+buildversion  = version ++ patchlevel
 
 versionstr    = prettify $ splitAtElement '.' buildversion
                 where