Show More
@@ -96,7 +96,13 b' def parseargs():' | |||||
96 | options.annotate) |
|
96 | options.annotate) | |
97 |
|
97 | |||
98 | if options.verbose: |
|
98 | if options.verbose: | |
|
99 | if options.jobs > 1 or options.child is not None: | |||
|
100 | pid = "[%d]" % os.getpid() | |||
|
101 | else: | |||
|
102 | pid = None | |||
99 | def vlog(*msg): |
|
103 | def vlog(*msg): | |
|
104 | if pid: | |||
|
105 | print pid, | |||
100 | for m in msg: |
|
106 | for m in msg: | |
101 | print m, |
|
107 | print m, | |
102 |
|
108 | |||
@@ -178,8 +184,7 b' def checktools():' | |||||
178 |
|
184 | |||
179 | def cleanup(options): |
|
185 | def cleanup(options): | |
180 | if not options.keep_tmpdir: |
|
186 | if not options.keep_tmpdir: | |
181 | if options.verbose: |
|
187 | vlog("# Cleaning up HGTMP", HGTMP) | |
182 | print "# Cleaning up HGTMP", HGTMP |
|
|||
183 | shutil.rmtree(HGTMP, True) |
|
188 | shutil.rmtree(HGTMP, True) | |
184 |
|
189 | |||
185 | def usecorrectpython(): |
|
190 | def usecorrectpython(): |
General Comments 0
You need to be logged in to leave comments.
Login now