diff options
| author | David Eichmann <EichmannD@gmail.com> | 2018-10-22 15:37:29 +0100 |
|---|---|---|
| committer | David Eichmann <EichmannD@gmail.com> | 2018-10-24 09:48:56 +0100 |
| commit | 86651c18e42c889a3bfaf473261fabfeed8647db (patch) | |
| tree | 2acf806bc2fcae0449b3c153bd417cb7aea9769e /testsuite/driver/testglobals.py | |
| parent | 7521cc3f52b6e33488ddcf51dc9b41a2c7cc3b7d (diff) | |
| download | haskell-wip/t-12758_circleci_push_perf_notes.tar.gz | |
Diffstat (limited to 'testsuite/driver/testglobals.py')
| -rw-r--r-- | testsuite/driver/testglobals.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/driver/testglobals.py b/testsuite/driver/testglobals.py index 6434d7a443..03a62503b4 100644 --- a/testsuite/driver/testglobals.py +++ b/testsuite/driver/testglobals.py @@ -31,6 +31,9 @@ class TestConfig: self.accept_platform = False self.accept_os = False + # File in which to save the performance metrics. + self.metrics_file = '' + # File in which to save the summary self.summary_file = '' |