diff options
| author | David Eichmann <EichmannD@gmail.com> | 2019-10-07 11:05:00 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-22 02:07:48 -0400 |
| commit | 8ea316da1dec77f20c742215874f8884b6e20558 (patch) | |
| tree | cf4f8c5c4e152ac6d3568e5a2a4e84f65cee7a7c /testsuite/driver/testutil.py | |
| parent | 4b431f334018eaef2cf36de3316025c68c922915 (diff) | |
| download | haskell-8ea316da1dec77f20c742215874f8884b6e20558.tar.gz | |
CI: Always dump performance metrics.
Diffstat (limited to 'testsuite/driver/testutil.py')
| -rw-r--r-- | testsuite/driver/testutil.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/driver/testutil.py b/testsuite/driver/testutil.py index 0c614f135a..071b641b7f 100644 --- a/testsuite/driver/testutil.py +++ b/testsuite/driver/testutil.py @@ -96,7 +96,7 @@ else: os.symlink(str(src), str(dst)) class Watcher(object): - def __init__(self, count: int): + def __init__(self, count: int) -> None: self.pool = count self.evt = threading.Event() self.sync_lock = threading.Lock() |