Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 14:35:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make rebuild flag work.

Browse source
This commit is contained in:
Josh Matthews 2019-03-20 10:08:27 -04:00
parent 7b4d1c6e4c
commit 6428901c41
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/wpt/manifestupdate.py
View file

@ -65,6 +65,7 @@ def _update(logger, test_paths, rebuild):
manifest_path, manifest_path,
url_base, url_base,
working_copy=True, working_copy=True,
rebuild=rebuild,
cache_root=os.path.join(servo_root, ".wpt", cache_root=os.path.join(servo_root, ".wpt",
cache_subdir)) cache_subdir))
return 0 return 0