diff options
author | bors-servo <infra@servo.org> | 2023-05-27 15:33:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-27 15:33:06 +0200 |
commit | d441afd9dfffa1f875e87ce9e48068af70824000 (patch) | |
tree | e43087bf1ce648100173ea4e5b1023c4a6fcc428 /components/script/dom/htmlprogresselement.rs | |
parent | ae23298403cd5ebcade7b3e6b1a0ce162ffecd1e (diff) | |
parent | 3fcff73f4db85f16577c2032c3b12e7c4262dd74 (diff) | |
download | servo-d441afd9dfffa1f875e87ce9e48068af70824000.tar.gz servo-d441afd9dfffa1f875e87ce9e48068af70824000.zip |
Auto merge of #29800 - mrobinson:only-check-gstreamer-install-for-builds, r=mukilan
Only check the GStreamer installation when building
Instead of always checking whether GStreamer is installed in mach's `build_env`, only do this when actually building. Also, use the instance variable to find features and look for the "media-gstreamer" feature instead of looking for !"media-dummy."
Fixes #29797.
<!-- Please describe your changes on the following line: -->
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #29797
- [x] These changes do not require tests because they are changes to the build scripts.
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/dom/htmlprogresselement.rs')
0 files changed, 0 insertions, 0 deletions