diff options
Diffstat (limited to 'python/servo/build_commands.py')
| -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 0ba0e0343bb..7cb29628976 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -33,7 +33,10 @@ class MachCommands(CommandBase): @CommandArgument('--jobs', '-j', default=None, help='Number of jobs to run in parallel') - def build(self, target, release=False, jobs=None): + @CommandArgument('--verbose', '-v', + action='store_true', + help='Print verbose output') + def build(self, target, release=False, jobs=None, verbose=False): self.ensure_bootstrapped() opts = [] @@ -43,6 +46,8 @@ class MachCommands(CommandBase): opts += ["--target", target] if jobs is not None: opts += ["-j", jobs] + if verbose: + opts += ["-v"] build_start = time() subprocess.check_call(["cargo", "build"] + opts, env=self.build_env()) |