| # | Line 56 | Line 56 | def load_plat(env, args, platform=None): | |
|---|---|---|
| 56 | if platform == None: # override | |
| 57 | p = sys.platform | |
| 58 | else: p = platform | |
| 59 | + | if p == 'win32' and 'gcc' in env['TOOLS']: |
| 60 | + | p = 'mingw' |
| 61 | pl = [] | |
| 62 | print 'Detected platform "%s" (%s).' % (sys.platform, os.name) | |
| 63 | for i in [len(p), -1, -2]: | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |