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

Move to an .ini file to define the parts of wpt we run.

Browse source 
This is more maintainable as we add more tests.
This commit is contained in:
Ms2ger 2014-07-13 16:35:25 +02:00
parent 093d8e3216
commit 2ddd029c2f
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/test/wpt/include.ini Normal file
View file

@ -0,0 +1,5 @@
skip: true
[dom]
skip: false
[XMLHttpRequest]
skip: false

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

@ -31,7 +31,7 @@ def run_tests(**kwargs):
def set_defaults(args):
args.metadata_root = args.metadata_root if args.metadata_root else wptsubdir("metadata")
args.tests_root = args.tests_root if args.tests_root else wptsubdir("web-platform-tests")
args.include = args.include if args.include else ["/dom", "/XMLHttpRequest"]
args.include_manifest = args.include_manifest if args.include_manifest else wptsubdir("include.ini")
args.binary = args.binary if args.binary else os.path.join(servo_root, "build", "servo")
args.product = "servo"
args.debug_args = None