e_gen_menu: Fix breakage when PATH contains non-existing directory

2022-04-01 08:29:25 +02:00 · 2022-04-01 08:29:25 +02:00 · ef8092597b
parent dabf1ba150
commit ef8092597b
1 changed files with 2 additions and 0 deletions
--- a/scripts/e_gen_menu
+++ b/scripts/e_gen_menu
@ -111,6 +111,8 @@ def MakeEppsMenu(name):
 #       D(f'P = {dir}')
        if dir in dirs:
            continue
+        if not os.path.isdir(dir):
+            continue
        dirs.append(dir)
        D2(f'Looking for epplets in {dir}')
        for file in os.listdir(dir):