diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-05-14 11:26:18 -0500 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-05-14 11:26:18 -0500 |
| commit | c0d8488b719ea72e73e435618e015c2f705853cc (patch) | |
| tree | a2b44b9e6ca75030b73551f76193f530ea21e435 /python/servo/build_commands.py | |
| parent | 8979d77e77f58b2061d9cec81a08b7e6bf6c6e6a (diff) | |
| parent | c98d55fe28596b2ea62a8b3dcc87ec306143cff2 (diff) | |
| download | servo-c0d8488b719ea72e73e435618e015c2f705853cc.tar.gz servo-c0d8488b719ea72e73e435618e015c2f705853cc.zip | |
Auto merge of #6038 - mbrubeck:jinankjain-Bug#5933, r=mbrubeck
Require either `--dev` or `--release`, unless a default build.mode is set in `.servobuild`. This is @jinankjain's patch from #5965, rebased onto master. It is already reviewed, and only waiting for servo/saltfs#28 to be deployed.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6038)
<!-- Reviewable:end -->
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 065a6ca1797..1f5cdd3350d 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -137,6 +137,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: |