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

Make unclean manifest error show actual erroring manifest.

Browse source
This commit is contained in:
Josh Matthews 2019-03-20 10:09:00 -04:00
parent 6428901c41
commit 33f5066a23
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/wpt/manifestupdate.py
View file

@ -85,9 +85,8 @@ def _check_clean(logger, test_paths):
for manifest_path, (old_manifest, new_manifest) in manifests_by_path.iteritems():
if not diff_manifests(logger, manifest_path, old_manifest, new_manifest):
logger.error("Manifest %s is outdated, use |./mach update-manifest| to fix." % manifest_path)
rv = 1
if rv:
logger.error("Manifest %s is outdated, use |./mach update-manifest| to fix." % manifest_path)
return rv