diff options
| author | Jinank Jain <ug201210017@iitj.ac.in> | 2015-05-06 15:33:28 +0200 |
|---|---|---|
| committer | Matt Brubeck <mbrubeck@limpet.net> | 2015-05-13 09:25:43 -0700 |
| commit | c98d55fe28596b2ea62a8b3dcc87ec306143cff2 (patch) | |
| tree | 5412a47b567ecaff8298b98dd76addc203cb0acd /python/servo/command_base.py | |
| parent | b3b9deafa7ed87bd0649849f3aa729f21c4ff45d (diff) | |
| download | servo-c98d55fe28596b2ea62a8b3dcc87ec306143cff2.tar.gz servo-c98d55fe28596b2ea62a8b3dcc87ec306143cff2.zip | |
Add --dev option to mach build
Require either --dev or --release, unless a default build.mode is set
in .servobuild. Fixes #5933.
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 8047bf44179..a46fd21dfc1 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -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", {}) |