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

tidy: Ignore [replace]’d packages in the duplicate package lint.

Browse source
This commit is contained in:
Simon Sapin 2017-02-14 23:55:20 +01:00
parent 5a624ff956
commit 31287d4d90
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/tidy/servo_tidy/tidy.py
View file

@ -330,6 +330,8 @@ def check_lock(file_name, contents):
packages_by_name = {}
for package in content.get("package", []):
if "replace" in package:
continue
source = package.get("source", "")
if source == r"registry+https://github.com/rust-lang/crates.io-index":
source = "crates.io"