From 4ac286903d4ba055b89f134a8022e64726581708 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Mon, 15 Feb 2021 07:51:08 +0100 Subject: Meta: Add Ports/build_installed.sh to the lint-ports ignore list --- Meta/lint-ports.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Meta') diff --git a/Meta/lint-ports.py b/Meta/lint-ports.py index 4ce13709a6..11dd6afe96 100755 --- a/Meta/lint-ports.py +++ b/Meta/lint-ports.py @@ -7,7 +7,7 @@ import re PORT_TABLE_REGEX = re.compile(r'^\| \[`([^`]+)`\][^`]+$', re.MULTILINE) PORT_TABLE_FILE = 'AvailablePorts.md' -IGNORE_FILES = {'.gitignore', '.port_include.sh', PORT_TABLE_FILE, 'build_all.sh', 'ReadMe.md'} +IGNORE_FILES = {'.gitignore', '.port_include.sh', PORT_TABLE_FILE, 'build_all.sh', 'build_installed.sh', 'ReadMe.md'} def read_port_table(filename): -- cgit v1.2.3