diff options
Diffstat (limited to 'build_files')
-rw-r--r-- | build_files/buildbot/master_unpack.py | 3 | ||||
-rw-r--r-- | build_files/scons/tools/btools.py | 8 |
2 files changed, 9 insertions, 2 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 diff --git a/build_files/scons/tools/btools.py b/build_files/scons/tools/btools.py index efc80fcd3c5..c9d31d75e18 100644 --- a/build_files/scons/tools/btools.py +++ b/build_files/scons/tools/btools.py @@ -622,7 +622,13 @@ def buildslave(target=None, source=None, env=None): else: extension = '.tar.bz2' - platform = env['OURPLATFORM'].split('-')[0] + if env['OURPLATFORM'] == 'win32-mingw': + platform = 'mingw32' + elif env['OURPLATFORM'] == 'win32-mingw': + platform = 'mingw64' + else: + platform = env['OURPLATFORM'].split('-')[0] + if platform == 'linux': import platform |