From 0a0ba4cbc5632860c5960dbb33de854202c26e7e Mon Sep 17 00:00:00 2001
From: Cameron Youell <cameronyouell@gmail.com>
Date: Sat, 29 Apr 2023 00:29:47 +1000
Subject: [PATCH] Meta: Ignore empty directories in `lint-ports`

Git doesn't track empty directories, so we can just ignore them
---
 Meta/lint-ports.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Meta/lint-ports.py b/Meta/lint-ports.py
index 89e3773e7a..1222bc618d 100755
--- a/Meta/lint-ports.py
+++ b/Meta/lint-ports.py
@@ -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