diff options
Diffstat (limited to 'testsuite/driver/runtests.py')
-rw-r--r-- | testsuite/driver/runtests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/driver/runtests.py b/testsuite/driver/runtests.py index b9d6fff859..c0482d0f9d 100644 --- a/testsuite/driver/runtests.py +++ b/testsuite/driver/runtests.py @@ -402,7 +402,7 @@ def tabulate_metrics(metrics: List[PerfMetric]) -> None: # First collect all the tests to be run t_files_ok = True for file in t_files: - if_verbose(2, '====> Scanning %s' % file) + if_verbose(3, '====> Scanning %s' % file) newTestDir(tempdir, os.path.dirname(file)) try: with io.open(file, encoding='utf8') as f: |