diff options
| -rw-r--r-- | python/servo/post_build_commands.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py index 7cec97f0d0a..d427fe1181f 100644 --- a/python/servo/post_build_commands.py +++ b/python/servo/post_build_commands.py @@ -75,7 +75,14 @@ class MachCommands(CommandBase): else: args = args + params - subprocess.check_call(args, env=env) + try: + subprocess.check_call(args, env=env) + except OSError as e: + if e.errno == 2: + print("Servo Binary can't be found! Run './mach build'" + " and try again!") + else: + raise e @Command('doc', description='Generate documentation', |