diff options
| -rw-r--r-- | scripts/make_release.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_release.py b/scripts/make_release.py index f0985de5..ce7197e9 100644 --- a/scripts/make_release.py +++ b/scripts/make_release.py @@ -24,7 +24,7 @@ if platform == 'win32': def copydir(src, dst): for root, dirs, files in os.walk(src, topdown=True): - if "/." in root: + if "/." in root or "\\." in root: continue for name in dirs: if name[0] != '.': |