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

Merge pull request #2808 from schaars/make_check-wpt

Browse source 
adding 2 default arguments to src/test/wpt/run.py; r=jgraham,Ms2ger
This commit is contained in:
Ms2ger 2014-07-13 10:07:31 +02:00
commit e6f2342036
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 = None
args.interactive = False
return vars(args)
def main():