Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 15:18:58 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add --dev option to mach build

Browse source 
Require either --dev or --release, unless a default build.mode is set
in .servobuild.  Fixes #5933.
This commit is contained in:
Jinank Jain 2015-05-06 15:33:28 +02:00 • committed by Matt Brubeck
parent b3b9deafa7
commit c98d55fe28
4 changed files with 24 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/command_base.py
View file

@ -93,7 +93,7 @@ class CommandBase(object):
self.config.setdefault("build", {})
self.config["build"].setdefault("android", False)
self.config["build"].setdefault("mode", "")
self.config["build"].setdefault("debug-mozjs", False)
self.config.setdefault("android", {})