From db06b106ae6ef47d45bc6f465f5a72dc8e3bf727 Mon Sep 17 00:00:00 2001 From: Linus Groh Date: Fri, 7 May 2021 20:08:45 +0100 Subject: [PATCH] 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. --- Meta/lint-ports.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Meta/lint-ports.py b/Meta/lint-ports.py index be2aa83544..aa61e5e0a9 100755 --- a/Meta/lint-ports.py +++ b/Meta/lint-ports.py @@ -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: