Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 06:43:40 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update scripts to reflect new WPT directory name

Browse source
This commit is contained in:
Martin Robinson 2023-06-24 09:22:18 +02:00
parent 234d507234
commit f017169ae4
No known key found for this signature in database
GPG key ID: D56AA4FA55EFE6F8
21 changed files with 39 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

10
python/mach_bootstrap.py
View file

@ -136,20 +136,14 @@ def wpt_path(is_firefox, topdir, *paths):
def wptrunner_path(is_firefox, topdir, *paths):
wpt_root = wpt_path(is_firefox, topdir)
if is_firefox:
rel = os.path.join(wpt_root, "tests", "tools", "wptrunner")
else:
rel = os.path.join(wpt_root, "web-platform-tests", "tools", "wptrunner")
rel = os.path.join(wpt_root, "tests", "tools", "wptrunner")
return os.path.join(topdir, rel, *paths)
def wptserve_path(is_firefox, topdir, *paths):
wpt_root = wpt_path(is_firefox, topdir)
if is_firefox:
rel = os.path.join(wpt_root, "tests", "tools", "wptserve")
else:
rel = os.path.join(wpt_root, "web-platform-tests", "tools", "wptserve")
rel = os.path.join(wpt_root, "tests", "tools", "wptserve")
return os.path.join(topdir, rel, *paths)