mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 16:07:46 +00:00
Meta: Ignore empty directories in lint-ports
Git doesn't track empty directories, so we can just ignore them
This commit is contained in:
parent
bc75fa878e
commit
0a0ba4cbc5
1 changed files with 2 additions and 0 deletions
|
@ -75,6 +75,8 @@ def read_port_dirs():
|
|||
print(f"Ports/{entry} is neither a port (not a directory) nor an ignored file?!")
|
||||
all_good = False
|
||||
continue
|
||||
if os.listdir(entry) == []:
|
||||
continue
|
||||
if not os.path.exists(entry + '/package.sh'):
|
||||
print(f"Ports/{entry}/ is missing its package.sh?!")
|
||||
all_good = False
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue