diff options
Diffstat (limited to 'build_files/buildbot/master_unpack.py')
| -rw-r--r-- | build_files/buildbot/master_unpack.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build_files/buildbot/master_unpack.py b/build_files/buildbot/master_unpack.py index 3df22ad8745..f67bd294496 100644 --- a/build_files/buildbot/master_unpack.py +++ b/build_files/buildbot/master_unpack.py @@ -48,7 +48,8 @@ def get_platform(filename): tokens = filename.split("-") platforms = ('osx', 'mac', 'bsd', 'win', 'linux', 'source', - 'solaris') + 'solaris', + 'mingw') platform_tokens = [] found = False |