diff options
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 3770de6c9cd..e44336c39d1 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -353,14 +353,17 @@ class CommandBase(object): def get_gstreamer_path(self): return path.join(self.context.topdir, "support", "linux", "gstreamer", "gstreamer") - def get_binary_path(self, release, dev, android=False): + def get_binary_path(self, release, dev, android=False, magicleap=False): # TODO(autrilla): this function could still use work - it shouldn't # handle quitting, or printing. It should return the path, or an error. base_path = self.get_target_dir() binary_name = "servo" + BIN_SUFFIX - if android: + if magicleap: + base_path = path.join(base_path, "aarch64-linux-android") + binary_name = "libmlservo.a" + elif android: base_path = path.join(base_path, self.config["android"]["target"]) binary_name = "libsimpleservo.so" |