From c98d55fe28596b2ea62a8b3dcc87ec306143cff2 Mon Sep 17 00:00:00 2001 From: Jinank Jain Date: Wed, 6 May 2015 15:33:28 +0200 Subject: Add --dev option to mach build Require either --dev or --release, unless a default build.mode is set in .servobuild. Fixes #5933. --- python/servo/build_commands.py | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'python/servo/build_commands.py') 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: -- cgit v1.2.3