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

Cherry-pick https://github.com/web-platform-tests/wpt/pull/15932 from upstream.

Browse source
This commit is contained in:
Josh Matthews 2019-03-20 10:11:55 -04:00
parent cc7e21000a
commit 17e04fb255
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/wpt/web-platform-tests/tools/manifest/vcs.py
View file

@ -96,8 +96,8 @@ class Git(object):
cmd = ["ls-tree", "-r", "-z", "HEAD"] cmd = ["ls-tree", "-r", "-z", "HEAD"]
local_changes = self._local_changes() local_changes = self._local_changes()
for result in self.git(*cmd).split("\0")[:-1]: for result in self.git(*cmd).split("\0")[:-1]:
rel_path = result.rsplit("\t", 1)[-1] data, rel_path = result.rsplit("\t", 1)
hash = result.split(" ", 3)[2] hash = data.split(" ", 3)[2]
if rel_path in local_changes: if rel_path in local_changes:
contents = self._show_file(rel_path) contents = self._show_file(rel_path)
else: else: