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

Update run.py

Browse source 
None and False are better values here (thanks to @jgraham).
This commit is contained in:
schaars 2014-07-11 17:46:01 +02:00
parent 7f62ec63ea
commit 671a038fda
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -34,8 +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 = ""
args.debug_args = None
args.interactive = False
return vars(args)
def main():