diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/build_commands.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index d6170abfb1e..05d832e3403 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -518,6 +518,8 @@ class MachCommands(CommandBase): ml_sdk = env.get("MAGICLEAP_SDK") if not ml_sdk: raise Exception("Magic Leap builds need the MAGICLEAP_SDK environment variable") + if not os.path.exists(ml_sdk): + raise Exception("Path specified by MAGICLEAP_SDK does not exist.") ml_support = path.join(self.get_top_dir(), "support", "magicleap") |