Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-28 01:30:32 +01:00
Code Issues Projects Releases Packages Wiki Activity

Apply some review fixes

Browse source
This commit is contained in:
michaelgrigoryan25 2023-05-22 19:41:32 +04:00
parent f0690ec7c1
commit 67ca730ec5
3 changed files with 5 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/command_base.py
View file

@ -866,6 +866,8 @@ install them, let us know by filing a bug!")
assert self.handle_android_target(target)
if android and not target:
target = self.config["android"]["target"]
if target and not android:
android = self.handle_android_target(target)
return target, android
# A guess about which platforms should use the gstreamer media stack
@ -919,6 +921,9 @@ install them, let us know by filing a bug!")
if "-p" not in cargo_args: # We're building specific package, that may not have features
if self.config["build"]["debug-mozjs"] or debug_mozjs:
features.append("debugmozjs")
features.append("native-bluetooth")
if uwp:
features.append("no-wgl")
features.append("uwp")