diff options
| author | Andreas Kling <kling@serenityos.org> | 2021-02-15 07:51:08 +0100 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-02-15 07:51:40 +0100 |
| commit | 4ac286903d4ba055b89f134a8022e64726581708 (patch) | |
| tree | 6e3fc58dc5df52f42e241f60df79134d6bb33cd0 /Meta/lint-ports.py | |
| parent | ad4d9eaaf994c4887c84c0f581c354ee8adb938c (diff) | |
| download | serenity-4ac286903d4ba055b89f134a8022e64726581708.zip | |
Meta: Add Ports/build_installed.sh to the lint-ports ignore list
Diffstat (limited to 'Meta/lint-ports.py')
| -rwxr-xr-x | Meta/lint-ports.py | 2 |
1 files changed, 1 insertions, 1 deletions
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): |