Allow space-separated host names in hosts file.
My new Ubuntu install decided to teach me more about the format of the hosts file.
diff --git a/tools/wpt/run.py b/tools/wpt/run.py
index 82160c2..6ac270e 100644
--- a/tools/wpt/run.py
+++ b/tools/wpt/run.py
@@ -109,8 +109,8 @@
for line in f:
line = line.split("#", 1)[0].strip()
parts = line.split()
- if len(parts) == 2:
- host = parts[1]
+ hosts = parts[1:]
+ for host in hosts:
missing_hosts.discard(host)
if missing_hosts:
raise WptrunError("""Missing hosts file configuration. Expected entries like:
