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. infra/
  2. masters/
  3. scripts/
  4. site_config/
  5. slave/
  6. tests/
  7. third_party/
  8. .gitattributes
  9. .gitignore
  10. .vpython
  11. codereview.settings
  12. DEPS
  13. environment.cfg.py
  14. LICENSE
  15. OWNERS
  16. PRESUBMIT.py
  17. README.md
  18. WATCHLISTS
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.