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