commit 3d0056842c5e06b4102f990b59ab3b607f932dd8
author Victor Stinner <victor.stinner@gmail.com> Thu May 04 15:21:12 2017 +0200
committer GitHub <noreply@github.com> Thu May 04 15:21:12 2017 +0200
tree 1652727e44d9e15ade65e3c3bbc762a4ea445d0c
parent dbaf746b6de0ee431c809d3175ab40ccc18898a8

bpo-30263: regrtest: log system load (#1452)

* bpo-30263: regrtest: log system load

* regrtest: log the number of CPUs

Log the number of CPUs in the header. --verbose now imply --header.

Lib/test/libregrtest/cmdline.py

diff --git a/Lib/test/libregrtest/cmdline.py b/Lib/test/libregrtest/cmdline.py
index d621f5f..8260b09 100644
--- a/Lib/test/libregrtest/cmdline.py
+++ b/Lib/test/libregrtest/cmdline.py
@@ -343,5 +343,7 @@
                     ns.use_resources.append(r)
     if ns.random_seed is not None:
         ns.randomize = True
+    if ns.verbose:
+        ns.header = True
 
     return ns