diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-12 16:41:49 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-12 23:25:02 -0500 |
| commit | 250058891a52cb790bc53ab7cf947a8fb2837466 (patch) | |
| tree | 663c4d6f6edd834c3fb5a2e826580d8da57679a1 /testsuite/driver | |
| parent | 0d7fb471f368237462c700bac5500a90d29a1114 (diff) | |
| download | haskell-250058891a52cb790bc53ab7cf947a8fb2837466.tar.gz | |
testsuite: Print which ways we are going to run
Diffstat (limited to 'testsuite/driver')
| -rw-r--r-- | testsuite/driver/runtests.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/driver/runtests.py b/testsuite/driver/runtests.py index 02d00f0909..55b13df2bc 100644 --- a/testsuite/driver/runtests.py +++ b/testsuite/driver/runtests.py @@ -245,6 +245,9 @@ if config.timeout == -1: config.timeout = int(read_no_crs(config.top + '/timeout/calibrate.out')) print('Timeout is ' + str(config.timeout)) +print('Known ways: ' + ', '.join(config.other_ways)) +print('Run ways: ' + ', '.join(config.run_ways)) +print('Compile ways: ' + ', '.join(config.compile_ways)) # Try get allowed performance changes from the git commit. try: @@ -252,7 +255,7 @@ try: except subprocess.CalledProcessError: print('Failed to get allowed metric changes from the HEAD git commit message.') -print(len(config.allowed_perf_changes)) +print('Allowing performance changes in: ' + ', '.join(config.allowed_perf_changes.keys())) # ----------------------------------------------------------------------------- # The main dude |