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 | |
parent | ad2f2229506a993473f48d70b509022dea1b0f9d (diff) |
-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 + '"') |