Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

pass -vv through mach to cargo

Browse source
This commit is contained in:
tigercosmos 2017-12-23 14:47:00 +08:00
parent c2cacb69f3
commit 49a983a09e
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
python/servo/build_commands.py
View file

@ -167,6 +167,9 @@ class MachCommands(CommandBase):
@CommandArgument('--verbose', '-v', @CommandArgument('--verbose', '-v',
action='store_true', action='store_true',
help='Print verbose output') help='Print verbose output')
@CommandArgument('--very-verbose', '-vv',
action='store_true',
help='Print very verbose output')
@CommandArgument('params', nargs='...', @CommandArgument('params', nargs='...',
help="Command-line arguments to be passed through to Cargo") help="Command-line arguments to be passed through to Cargo")
@CommandArgument('--with-debug-assertions', @CommandArgument('--with-debug-assertions',
@ -174,8 +177,8 @@ class MachCommands(CommandBase):
action='store_true', action='store_true',
help='Enable debug assertions in release') help='Enable debug assertions in release')
def build(self, target=None, release=False, dev=False, jobs=None, def build(self, target=None, release=False, dev=False, jobs=None,
features=None, android=None, verbose=False, debug_mozjs=False, params=None, features=None, android=None, verbose=False, very_verbose=False,
with_debug_assertions=False): debug_mozjs=False, params=None, with_debug_assertions=False):
opts = params or [] opts = params or []
opts += ["--manifest-path", self.servo_manifest()] opts += ["--manifest-path", self.servo_manifest()]
@ -223,6 +226,8 @@ class MachCommands(CommandBase):
opts += ["-j", jobs] opts += ["-j", jobs]
if verbose: if verbose:
opts += ["-v"] opts += ["-v"]
if very_verbose:
opts += ["-vv"]
if android: if android:
target = self.config["android"]["target"] target = self.config["android"]["target"]