diff options
| -rw-r--r-- | python/servo/build_commands.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 009c4b76c40..666c8945e1d 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -88,7 +88,10 @@ class MachCommands(CommandBase): @CommandArgument('--verbose', '-v', action='store_true', help='Print verbose output') - def build_cef(self, jobs=None, verbose=False): + @CommandArgument('--release', '-r', + action='store_true', + help='Build in release mode') + def build_cef(self, jobs=None, verbose=False, release=False): self.ensure_bootstrapped() ret = None @@ -97,6 +100,8 @@ class MachCommands(CommandBase): opts += ["-j", jobs] if verbose: opts += ["-v"] + if release: + opts += ["--release"] build_start = time() with cd(path.join("ports", "cef")): |