| commit | 0735fd76fd89d25935fd27d1d985ca0f3457a18a | [log] [tgz] |
|---|---|---|
| author | wychen <wychen@chromium.org> | Sat Jun 03 07:53:26 2017 |
| committer | Commit Bot <commit-bot@chromium.org> | Sat Jun 03 07:53:26 2017 |
| tree | 9e706a20ba1e3e66953377f9a48838cd60644a41 | |
| parent | 2eff7cfefdef090f2d7190dccd55dcc467601cea [diff] |
Make check_gn_headers.py more robust on the bots Check whether the build is dirty first, and abort when dirty. This can be skipped by using option --skip-dirty-check. Dump JSON output on error, so that the result is still valid. Filter out generated headers more aggressively. Report non-existing headers in JSON as well. BUG=725877 Review-Url: https://codereview.chromium.org/2911543002 Cr-Commit-Position: refs/heads/master@{#476895}