diff options
author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2019-05-08 09:35:15 +0300 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-05-14 16:41:19 -0400 |
commit | 5cf8032e2fd2a2f35b8de9016c6e38e92c524394 (patch) | |
tree | a9f17b8e93f8210530a4772f625b650642ce88e4 /testsuite/driver/testglobals.py | |
parent | e529c65eacf595006dd5358491d28c202d673732 (diff) | |
download | haskell-5cf8032e2fd2a2f35b8de9016c6e38e92c524394.tar.gz |
Update terminal title while running test-suite
Useful progress indicator even when `make test VERBOSE=1`,
and when you do something else, but have terminal title visible.
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 054fd713d0..b28477c769 100644 --- a/testsuite/driver/testglobals.py +++ b/testsuite/driver/testglobals.py @@ -136,6 +136,9 @@ class TestConfig: # The test environment. self.test_env = 'local' + # terminal supports colors + self.supports_colors = False + global config config = TestConfig() |