Add date to Java implemetation number

This commit is contained in:
Frank 2011-03-21 17:18:26 -07:00
parent b264866d2e
commit 405f56c87a

View File

@ -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 = [