From 8af4e100864d9b4a665c7dbf86d6f2b63224ffb9 Mon Sep 17 00:00:00 2001 From: Jinank Jain Date: Thu, 14 May 2015 21:52:23 +0200 Subject: [PATCH] Fixed #6048 --- python/servo/build_commands.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 1f5cdd3350d..42599bd6766 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -137,11 +137,22 @@ class MachCommands(CommandBase): opts = params or [] features = [] + base_path = path.join("components", "servo", "target") + release_path = path.join(base_path, "release", "servo") + dev_path = path.join(base_path, "debug", "servo") + + release_exists = path.exists(release_path) + dev_exists = path.exists(dev_path) + if not (release or dev): if self.config["build"]["mode"] == "dev": dev = True elif self.config["build"]["mode"] == "release": release = True + elif release_exists and not dev_exists: + release = True + elif dev_exists and not release_exists: + dev = True else: print("Please specify either --dev (-d) for a development") print(" build, or --release (-r) for an optimized build.")