diff options
author | Gabor Greif <ggreif@gmail.com> | 2018-12-30 13:16:33 +0100 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2018-12-30 13:37:41 +0100 |
commit | 4c939dec6c2e77553d4026dbdcbb91044bece692 (patch) | |
tree | 30d73628cc6b0b0f0440d7720ecf074bf19c49ec | |
parent | 91f67f479a01c7819a66e2f124bfead985fe29ed (diff) | |
download | haskell-wip/ncg-test-criterion.tar.gz |
add helper for ncgwip/ncg-test-criterion
-rw-r--r-- | testsuite/driver/testlib.py | 5 |
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 |