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):