From 2ddd029c2ff07e51a916ea0f55af4148ce2875a5 Mon Sep 17 00:00:00 2001
From: Ms2ger <ms2ger@gmail.com>
Date: Sun, 13 Jul 2014 16:35:25 +0200
Subject: [PATCH] Move to an .ini file to define the parts of wpt we run.

This is more maintainable as we add more tests.
---
 src/test/wpt/include.ini | 5 +++++
 src/test/wpt/run.py      | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 src/test/wpt/include.ini

diff --git a/src/test/wpt/include.ini b/src/test/wpt/include.ini
new file mode 100644
index 00000000000..08fa33cc8a5
--- /dev/null
+++ b/src/test/wpt/include.ini
@@ -0,0 +1,5 @@
+skip: true
+[dom]
+  skip: false
+[XMLHttpRequest]
+  skip: false
diff --git a/src/test/wpt/run.py b/src/test/wpt/run.py
index cde6d770a69..ec53fa0268b 100644
--- a/src/test/wpt/run.py
+++ b/src/test/wpt/run.py
@@ -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