diff options
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: |