tests/run-tests.py
changeset 8671 a434c94b48e7
parent 8651 27cc4fa6722d
child 8672 d6b243731763
--- a/tests/run-tests.py	Sun May 31 19:48:37 2009 +0200
+++ b/tests/run-tests.py	Fri May 29 22:17:53 2009 -0400
@@ -96,7 +96,13 @@
                            options.annotate)
 
     if options.verbose:
+        if options.jobs > 1 or options.child is not None:
+            pid = "[%d]" % os.getpid()
+        else:
+            pid = None
         def vlog(*msg):
+            if pid:
+                print pid,
             for m in msg:
                 print m,
             print
@@ -178,8 +184,7 @@
 
 def cleanup(options):
     if not options.keep_tmpdir:
-        if options.verbose:
-            print "# Cleaning up HGTMP", HGTMP
+        vlog("# Cleaning up HGTMP", HGTMP)
         shutil.rmtree(HGTMP, True)
 
 def usecorrectpython():