diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2013-10-05 17:04:31 +0200 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-10-05 17:07:16 +0200 |
commit | 718e86b4751b0435097bdde46855e819cf4f7864 (patch) | |
tree | b1a6fbf85d3596966067004517636250416d9337 /testsuite/driver/testlib.py | |
parent | 3db765088ac7c919bdf283cb6263e2ceedf6bc27 (diff) | |
download | haskell-718e86b4751b0435097bdde46855e819cf4f7864.tar.gz |
Flag to test suite: SKIP_PERF_TESTS
More often than not the output of the performance tests is in the way,
rather than helping. This allows the use of `make SKIP_PERF_TESTS=YES`
to skip these tests. Fixes #8413
Diffstat (limited to 'testsuite/driver/testlib.py')
-rw-r--r-- | testsuite/driver/testlib.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 4694b5e3d1..ed7d02f819 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -60,6 +60,11 @@ def setLocalTestOpts(opts): global testopts_local testopts_local.x=opts +def isStatsTest(): + opts = getTestOpts() + return len(opts.compiler_stats_range_fields) > 0 or len(opts.stats_range_fields) > 0 + + # This can be called at the top of a file of tests, to set default test options # for the following tests. def setTestOpts( f ): @@ -606,6 +611,7 @@ def test_common_work (name, opts, func, args): and (config.only == [] or name in config.only) \ and (getTestOpts().only_ways == None or way in getTestOpts().only_ways) \ and (config.cmdline_ways == [] or way in config.cmdline_ways) \ + and (not (config.skip_perf_tests and isStatsTest())) \ and way not in getTestOpts().omit_ways # Which ways we are asked to skip |