diff options
Diffstat (limited to 'tools/scripts/git_submodule.py')
| -rw-r--r-- | tools/scripts/git_submodule.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/scripts/git_submodule.py b/tools/scripts/git_submodule.py index 084bd2b1f..8e088e5bd 100644 --- a/tools/scripts/git_submodule.py +++ b/tools/scripts/git_submodule.py @@ -121,7 +121,7 @@ class Submodule: return True if 'all' in self.os: return True - if sys.platform.startswith('win32') and 'win' in self.os: + if (sys.platform.startswith('win32') or sys.platform.startswith('cygwin')) and 'win' in self.os: return True if sys.platform.startswith('linux') and 'unix' in self.os: return True |