summaryrefslogtreecommitdiff
path: root/testsuite/driver/testlib.py
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2013-10-05 17:04:31 +0200
committerJoachim Breitner <mail@joachim-breitner.de>2013-10-05 17:07:16 +0200
commit718e86b4751b0435097bdde46855e819cf4f7864 (patch)
treeb1a6fbf85d3596966067004517636250416d9337 /testsuite/driver/testlib.py
parent3db765088ac7c919bdf283cb6263e2ceedf6bc27 (diff)
downloadhaskell-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.py6
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