wscript
changeset 7463 53b784adf3f4
parent 7430 ed960db91421
child 7487 82cd20da9650
--- a/wscript	Thu Aug 25 19:24:06 2011 +0100
+++ b/wscript	Fri Aug 26 12:31:04 2011 +0100
@@ -67,10 +67,10 @@
 wutils.VERSION = VERSION
 wutils.APPNAME = APPNAME
 
-if re.match(r"\d+\.\d+(\.\d+)?", VERSION) is not None:
+# note: here we disable the VNUM for OSX since it causes problems (bug #1251)
+wutils.VNUM = None
+if sys.platform != 'darwin' and re.match(r"^\d+\.\d+(\.\d+)?$", VERSION) is not None:
     wutils.VNUM = VERSION
-else:
-    wutils.VNUM = None
 
 # these variables are mandatory ('/' are converted automatically)
 srcdir = '.'