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

Auto merge of #28243 - servo:jdm-patch-46, r=jdm

Browse source 
Support extra arguments when running with --debug.

This allows things like `./mach run -z -x tests/html/about-mozilla.html --debug` to work as expected.
This commit is contained in:
bors-servo 2021-03-05 20:01:11 -05:00 • committed by GitHub
commit 4a46a476d7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/post_build_commands.py
View file

@ -162,7 +162,7 @@ class PostBuildCommands(CommandBase):
command = rustCommand
# Prepend the debugger args.
args = ([command] + self.debuggerInfo.args
args = ([command] + self.debuggerInfo.args + ["--"]
+ args + params)
else:
args = args + params