diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2024-08-28 01:36:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-28 08:36:54 +0000 |
| commit | a6b9640c99da121641dd63765835ab55aa1d378d (patch) | |
| tree | 4a8c074744b85ed5049f41e3af80779edb64c172 /python/wpt/export.py | |
| parent | 5092cece7a7b2962fdc961183c00f5f146ed0b78 (diff) | |
| download | servo-a6b9640c99da121641dd63765835ab55aa1d378d.tar.gz servo-a6b9640c99da121641dd63765835ab55aa1d378d.zip | |
compositor: Do not parse the Cargo.lock file while building (#33222)
The compositor's `build.rs` script was parsing the `Cargo.lock` file in
order to tag WebRender captures with the WebRender version. The embedder
already knows what version of Servo we are using, which should be enough
to infer the WebRender revision. This changes does that and generally
does a bit of cleaning up of how captures are done.
- The name of the capture directory is now `webrender-captures`
- There is console output now when captures are done. Before it was hard
to know if it succeeded.
- Simplify the Compositor constructor a little to avoid passing
arguments so much.
Signed-off-by: Martin Robinson <mrobinson@igalia.com>
Diffstat (limited to 'python/wpt/export.py')
0 files changed, 0 insertions, 0 deletions