diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-02-24 22:11:27 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-26 15:10:09 -0500 |
| commit | b2b49a0aad353201678970c76d8305a5dcb1bfab (patch) | |
| tree | 4ee3070c6fef31feb94bfe88d43fe290dc2e1069 | |
| parent | bfaa39618a25ae642221a478889b9667281b52e8 (diff) | |
| download | haskell-b2b49a0aad353201678970c76d8305a5dcb1bfab.tar.gz | |
testsuite: Make hasMetricsFile RHS more descriptive
| -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 |