diff options
| -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 e587a1150d..d3bc1737fe 100644 --- a/testsuite/driver/runtests.py +++ b/testsuite/driver/runtests.py @@ -98,7 +98,7 @@ if args.rootdir: config.rootdirs = args.rootdir config.metrics_file = args.metrics_file -hasMetricsFile = bool(config.metrics_file) +hasMetricsFile = config.metrics_file is not None config.summary_file = args.summary_file config.no_print_summary = args.no_print_summary |