diff options
Diffstat (limited to 'Lib/test/libregrtest/cmdline.py')
| -rw-r--r-- | Lib/test/libregrtest/cmdline.py | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ def _parse_args(args, **kwargs): ns.use_resources.append(r) if ns.random_seed is not None: ns.randomize = True + if ns.verbose: + ns.header = True return ns |