diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/package_commands.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 83f308f1816..ac27eeda68b 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -212,6 +212,11 @@ class PackageCommands(CommandBase): android = self.handle_android_target(target) else: target = self.config["android"]["target"] + if target and magicleap: + print("Please specify either --target or --magicleap.") + sys.exit(1) + if magicleap: + target = "aarch64-linux-android" env = self.build_env(target=target) binary_path = self.get_binary_path(release, dev, android=android, magicleap=magicleap) dir_to_root = self.get_top_dir() |