From 65ac8a3ba83865e55ec742cb2d0134fca33ea7b8 Mon Sep 17 00:00:00 2001 From: Max Moroz Date: Mon, 21 May 2018 19:22:21 -0700 Subject: [PATCH] [infra] Bring 'profile' configuration back to helper.py for testing coverage. --- infra/helper.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infra/helper.py b/infra/helper.py index cc7cf8b1e..6e31d4c5f 100755 --- a/infra/helper.py +++ b/infra/helper.py @@ -203,7 +203,7 @@ def _add_engine_args(parser): def _add_sanitizer_args(parser): """Add common sanitizer args.""" parser.add_argument('--sanitizer', default='address', - choices=['address', 'memory', 'undefined', 'coverage']) + choices=['address', 'memory', 'undefined', 'coverage', 'profile']) def _add_environment_args(parser):