summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabor Greif <ggreif@gmail.com>2018-12-30 13:16:33 +0100
committerGabor Greif <ggreif@gmail.com>2018-12-30 13:37:41 +0100
commit4c939dec6c2e77553d4026dbdcbb91044bece692 (patch)
tree30d73628cc6b0b0f0440d7720ecf074bf19c49ec
parent91f67f479a01c7819a66e2f124bfead985fe29ed (diff)
downloadhaskell-wip/ncg-test-criterion.tar.gz
add helper for ncgwip/ncg-test-criterion
-rw-r--r--testsuite/driver/testlib.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py
index 5f84863070..96024a9a64 100644
--- a/testsuite/driver/testlib.py
+++ b/testsuite/driver/testlib.py
@@ -440,6 +440,9 @@ def cygwin( ):
def have_vanilla( ):
return config.have_vanilla
+def have_ncg( ):
+ return config.have_ncg
+
def have_dynamic( ):
return config.have_dynamic
@@ -1174,7 +1177,7 @@ def check_stats(name, way, stats_file, range_fields):
metric_result = failBecause('no such stats metric')
else:
actual_val = int(field_match.group(1))
-
+
# Store the metric so it can later be stored in a git note.
perf_stat = metric_dict(name, way, metric, actual_val)
change = None