Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #6052 - jinankjain:Bug#6048, r=mbrubeck

Browse source 
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6052)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-05-14 15:51:45 -05:00
commit 7040453358
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
python/servo/build_commands.py
View file

@ -137,11 +137,22 @@ class MachCommands(CommandBase):
opts = params or [] opts = params or []
features = [] 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 not (release or dev):
if self.config["build"]["mode"] == "dev": if self.config["build"]["mode"] == "dev":
dev = True dev = True
elif self.config["build"]["mode"] == "release": elif self.config["build"]["mode"] == "release":
release = True release = True
elif release_exists and not dev_exists:
release = True
elif dev_exists and not release_exists:
dev = True
else: else:
print("Please specify either --dev (-d) for a development") print("Please specify either --dev (-d) for a development")
print(" build, or --release (-r) for an optimized build.") print(" build, or --release (-r) for an optimized build.")