diff options
-rwxr-xr-x | tools/llvm_coverage_run.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/llvm_coverage_run.py b/tools/llvm_coverage_run.py index 00641ca61a..e0d0ff6f5a 100755 --- a/tools/llvm_coverage_run.py +++ b/tools/llvm_coverage_run.py @@ -162,6 +162,14 @@ def main(): '--properties', metavar='key_or_value', nargs='+', help='key/value pairs representing properties of this build.') args, cmd = parser.parse_known_args() + + # We still need to pass the args we stripped out to DM. + cmd.append('--key') + cmd.extend(args.key) + cmd.append('--properties') + cmd.extend(args.properties) + + # Parse the key and properties for use in the nanobench JSON output. key = _parse_key_value(args.key) properties = _parse_key_value(args.properties) |