coverage: pass additional args as JSON

The additional args can't be passed individually, because they then get
interpreted as actual arguments to the main script. Instead dump them
as a JSON array of strings which gets parsed by the merge_results.py
script.

Bug: 923711
Change-Id: If05931cfba1e7c85c00e5b05ed608cdfc9a77ca0
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/tools/build/+/1572462
Auto-Submit: Stephen Martinis <martiniss@chromium.org>
Commit-Queue: Yuke Liao <liaoyuke@chromium.org>
Reviewed-by: Yuke Liao <liaoyuke@chromium.org>
1 file changed
tree: ca06fb78c1cdae9953a65216497a8cf65200f3cc
  1. .gitattributes
  2. .gitignore
  3. .vpython
  4. DEPS
  5. LICENSE
  6. OWNERS
  7. PRESUBMIT.py
  8. README.md
  9. WATCHLISTS
  10. codereview.settings
  11. environment.cfg.py
  12. infra/
  13. masters/
  14. scripts/
  15. site_config/
  16. slave/
  17. tests/
  18. third_party/
README.md

build

Hi build contributor! If you do any change in scripts/master/ or touching any master's html/ directories, you must restart master.chromium.fyi first and ensure that it still works before restarting other masters.

Recipes

If you're here to make a change to ‘recipes’ (the code located in scripts/slave/recipes*), please take a look at the README for more information pertaining to recipes.