From 405f56c87ac30abe99caf5a5c028c9440f6f4f8c Mon Sep 17 00:00:00 2001 From: Frank Date: Mon, 21 Mar 2011 17:18:26 -0700 Subject: [PATCH] Add date to Java implemetation number --- wscript_build | 3 +++ 1 file changed, 3 insertions(+) diff --git a/wscript_build b/wscript_build index 8390114ffc4..18f02dabd9d 100644 --- a/wscript_build +++ b/wscript_build @@ -14,6 +14,7 @@ try: set([1,2,3]) except Exception: from Sets import set import re import zipfile,tarfile +import time try: from os import chmod as _chmod,chown as _chown import pwd,stat,grp @@ -41,10 +42,12 @@ def build_utils_docs (): # ant only needs to be reinvoked if the version with build number changes # we here trim all the depended targets from the target list: def build_jars (): + builddate = time.strftime("%Y.%m.%d.%H.%M.%S", time.localtime()); if Options.options.VERNUM: Implementation_Version = Options.options.VERNUM else: Implementation_Version = "2.2" + Implementation_Version = Implementation_Version + "." + builddate # this is to trigger recompilation / cache avoidance if the relevant environment for ant changes ant_args = [