equal
deleted
inserted
replaced
31 f = open(filename, 'w') |
31 f = open(filename, 'w') |
32 f.write("# This file is auto-generated.\n") |
32 f.write("# This file is auto-generated.\n") |
33 f.write("version = %r\n" % version) |
33 f.write("version = %r\n" % version) |
34 f.close() |
34 f.close() |
35 |
35 |
36 def remember_version(): |
36 def remember_version(version=None): |
37 """Store version information.""" |
37 """Store version information.""" |
38 global remembered_version |
38 global remembered_version |
39 if os.access(".hg", os.F_OK): |
39 if not version and os.path.isdir(".hg"): |
40 f = os.popen("hg identify 2>/dev/null") # use real hg installation |
40 f = os.popen("hg identify 2>/dev/null") # use real hg installation |
41 ident = f.read()[:-1] |
41 ident = f.read()[:-1] |
42 if not f.close() and ident: |
42 if not f.close() and ident: |
43 ids = ident.split(' ', 1) |
43 ids = ident.split(' ', 1) |
44 version = ids.pop(0) |
44 version = ids.pop(0) |
53 if re.match(r'^(\d+\.)+[\w.-]+$', tag): |
53 if re.match(r'^(\d+\.)+[\w.-]+$', tag): |
54 version = tag |
54 version = tag |
55 break |
55 break |
56 if modified: |
56 if modified: |
57 version += time.strftime('+%Y%m%d') |
57 version += time.strftime('+%Y%m%d') |
58 remembered_version = True |
58 if version: |
59 write_version(version) |
59 remembered_version = True |
|
60 write_version(version) |
60 |
61 |
61 def forget_version(): |
62 def forget_version(): |
62 """Remove version information.""" |
63 """Remove version information.""" |
63 if remembered_version: |
64 if remembered_version: |
64 write_version(unknown_version) |
65 write_version(unknown_version) |