diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2017-02-14 23:55:20 +0100 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2017-02-14 23:55:20 +0100 |
| commit | 31287d4d9094c424bc89cb0024b381bb1ac336e5 (patch) | |
| tree | 49f411ccbdc79adec28098a4bdc41742329cebc6 /python/tidy/servo_tidy/tidy.py | |
| parent | 5a624ff9560338024c18ad0abf496fd78d5f6bb1 (diff) | |
| download | servo-31287d4d9094c424bc89cb0024b381bb1ac336e5.tar.gz servo-31287d4d9094c424bc89cb0024b381bb1ac336e5.zip | |
tidy: Ignore [replace]’d packages in the duplicate package lint.
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
| -rw-r--r-- | python/tidy/servo_tidy/tidy.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index b8025998ec3..9b59b08e473 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -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" |