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

adding 2 new default arguments when running make check-wpt so that it does not fail saying KeyError: 'debug_args' or KeyError: 'interactive'

Browse source
This commit is contained in:
Pierre Louis Aublin 2014-07-11 16:41:36 +02:00
parent 8cf004e28a
commit 7f62ec63ea
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/wpt/run.py
View file

@ -34,6 +34,8 @@ def set_defaults(args):
args.include = args.include if args.include else ["/dom", "/XMLHttpRequest"]
args.binary = args.binary if args.binary else os.path.join(servo_root, "build", "servo")
args.product = "servo"
args.debug_args = ""
args.interactive = ""
return vars(args)
def main():