diff options
| author | Rémi Verschelde | 2018-01-07 15:56:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde | 2018-01-07 15:56:40 +0100 |
| commit | bb9070770918722b3694350662c6bd5920d7b64e (patch) | |
| tree | 954c02e9348a403575a647b4f94cacd4e905dd8b /methods.py | |
| parent | b5b2ca81438f1152162409bfdfc2ee4ae64312bc (diff) | |
| download | godot-bb9070770918722b3694350662c6bd5920d7b64e.tar.gz godot-bb9070770918722b3694350662c6bd5920d7b64e.tar.zst godot-bb9070770918722b3694350662c6bd5920d7b64e.zip | |
Diffstat (limited to 'methods.py')
| -rw-r--r-- | methods.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/methods.py b/methods.py index f9da6c8dd..fbdac8a96 100644 --- a/methods.py +++ b/methods.py @@ -1274,6 +1274,8 @@ def detect_modules(): for x in files: if (not os.path.isdir(x)): continue + if (not os.path.exists(x + "/config.py")): + continue x = x.replace("modules/", "") # rest of world x = x.replace("modules\\", "") # win32 module_list.append(x) |