diff options
| author | michaelgrigoryan25 <56165400+michaelgrigoryan25@users.noreply.github.com> | 2023-05-22 19:41:32 +0400 |
|---|---|---|
| committer | michaelgrigoryan25 <56165400+michaelgrigoryan25@users.noreply.github.com> | 2023-05-22 19:41:32 +0400 |
| commit | 67ca730ec5b43defe84a3b022793a2f94dc61df0 (patch) | |
| tree | 529aed542c3d0af6d0ab985dd665062ff1100fae /python/servo/command_base.py | |
| parent | f0690ec7c192d6f2109fffff1131cbe2b989e0cc (diff) | |
| download | servo-67ca730ec5b43defe84a3b022793a2f94dc61df0.tar.gz servo-67ca730ec5b43defe84a3b022793a2f94dc61df0.zip | |
Apply some review fixes
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index f27431fbadd..e7536ad4e30 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -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") |