diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-02-15 03:05:07 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-15 03:05:07 -0800 |
| commit | 715a16423095e1bba2c192c0aebecb8f6aaffab3 (patch) | |
| tree | 597c6ebce2135e01c5d4a9e4af5c1571d122d663 /python/servo/bootstrap_commands.py | |
| parent | 9702d6920a7cf6506fa26c042eb4b9f7cd061713 (diff) | |
| parent | ae87b8a910e979cbb05b9e32fcaf7e53244d4dc0 (diff) | |
| download | servo-715a16423095e1bba2c192c0aebecb8f6aaffab3.tar.gz servo-715a16423095e1bba2c192c0aebecb8f6aaffab3.zip | |
Auto merge of #15557 - bholley:opt_logging, r=emilio
stylo: various fixes to improve style logging in opt builds
This adds a traversal time entry to the style statistics, and switches to warn! as discussed in [1].
[1] https://bugzilla.mozilla.org/show_bug.cgi?id=1339176
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/15557)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions