diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-18 08:29:27 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-18 08:29:27 -0600 |
| commit | 696b806284795db461992be7b38861e5d110a204 (patch) | |
| tree | eafce6df79b6c35280762d38b1b42c509a4cc309 /components/script/build.rs | |
| parent | cc06363ce7309150197ac897606a4ca855ecd4c4 (diff) | |
| parent | 6690fc84a8820f9e124808a2c28a6f190fdbac11 (diff) | |
| download | servo-696b806284795db461992be7b38861e5d110a204.tar.gz servo-696b806284795db461992be7b38861e5d110a204.zip | |
Auto merge of #14249 - vvuk:wr-record, r=kvark
Add -Z wr-record
This adds `-Z wr-record`, which flips `enable_recording` to true for Webrender.
<!-- 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/14249)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/build.rs')
0 files changed, 0 insertions, 0 deletions