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/build_commands.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/build_commands.py')
| -rw-r--r-- | python/servo/build_commands.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 5d5da3298fe..b4b75b64c66 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -106,6 +106,20 @@ class MachCommands(CommandBase): opts = params or [] features = [] + if not (release or dev): + if self.config["build"]["mode"] == "dev": + dev = True + elif self.config["build"]["mode"] == "release": + release = True + else: + print("Please specify either --dev (-d) for a development") + print(" build, or --release (-r) for an optimized build.") + sys.exit(1) + + if release and dev: + print("Please specify either --dev or --release.") + sys.exit(1) + if release: opts += ["--release"] if target: |