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

Update manifest integration to reflect upstream API changes.

Browse source
This commit is contained in:
Tom Servo 2018-11-23 11:03:43 -05:00
parent 642f3cb541
commit 846c3ba1a3
5 changed files with 22 additions and 47 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/wpt/run.py
View file

@ -58,6 +58,9 @@ def set_defaults(kwargs):
if kwargs["include_manifest"] is None and "include_manifest" in paths:
kwargs["include_manifest"] = paths["include_manifest"]
if kwargs["manifest_update"] is None:
kwargs["manifest_update"] = False
if kwargs["binary"] is None:
bin_dir = "release" if kwargs["release"] else "debug"
bin_name = "servo"