diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2020-01-10 10:47:46 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-12 21:30:08 -0500 |
| commit | 0b5ddc7f2c10ee84631dd6cb5f6368afbc389449 (patch) | |
| tree | d9a77d5b2c55d75d9ae5b6fa199612315de9d163 /testsuite/driver | |
| parent | 350e2b78788d47255d27489dfc62d664498b5de4 (diff) | |
| download | haskell-0b5ddc7f2c10ee84631dd6cb5f6368afbc389449.tar.gz | |
Fix more typos, via an improved Levenshtein-style corrector
Diffstat (limited to 'testsuite/driver')
| -rw-r--r-- | testsuite/driver/perf_notes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/driver/perf_notes.py b/testsuite/driver/perf_notes.py index bd339adc7c..deb7c16ded 100644 --- a/testsuite/driver/perf_notes.py +++ b/testsuite/driver/perf_notes.py @@ -587,7 +587,7 @@ def main() -> None: group = parser.add_argument_group(title='Filtering', description="Select which subset of performance metrics to dump") group.add_argument("--test-env", - help="The given test environment to be compared. Use 'local' for localy run results. If using --ci, see .gitlab-ci file for TEST_ENV settings.") + help="The given test environment to be compared. Use 'local' for locally run results. If using --ci, see .gitlab-ci file for TEST_ENV settings.") group.add_argument("--test-name", help="Filters for tests matching the given regular expression.") group.add_argument("--metric", |