Meta: Fix error in lint-ports.py

The data structures here were changed from sets to dicts at some point,
with the sets now having different names - this would crash trying to
subtract two dicts.
This commit is contained in:
Linus Groh 2021-05-07 20:08:45 +01:00
parent bfce328ade
commit db06b106ae
Notes: sideshowbarker 2024-07-18 18:35:53 +09:00

View file

@ -193,7 +193,7 @@ def run():
if from_table_set - ports_set:
all_good = False
print('AvailablePorts.md lists ports that do not appear in the file system:')
for port in sorted(from_table - ports):
for port in sorted(from_table_set - ports_set):
print(f" {port}")
if ports_set - from_table_set: