diff options
| author | Botond Hende <nettingman@gmail.com> | 2025-05-01 19:47:36 +0200 |
|---|---|---|
| committer | Botond Hende <nettingman@gmail.com> | 2025-05-01 19:47:36 +0200 |
| commit | ed77bf97056f8771a6cf83076ec2b1415034445e (patch) | |
| tree | 34e858b817afd955e5a44a5ee700621d9e27a99c /generate_updater.py | |
| parent | ad2f2229506a993473f48d70b509022dea1b0f9d (diff) | |
Diffstat (limited to 'generate_updater.py')
| -rwxr-xr-x | generate_updater.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generate_updater.py b/generate_updater.py index ef6f256..b9fab31 100755 --- a/generate_updater.py +++ b/generate_updater.py @@ -7,7 +7,9 @@ START_SCRIPT = "main.lua" dir_paths = [] lua_paths = [] -for (root, dirs, files) in os.walk("src", topdown=True): +for (root, dirs, files) in os.walk("src", topdown=True, followlinks=True): + dirs[:] = [d for d in dirs if not d[0] == '.'] + for elem in dirs: dir_paths.append('"' + root + "/" + elem + '"') |