--- ray/build_utils/load_plat.py	2004/10/21 15:47:12	1.3
+++ ray/build_utils/load_plat.py	2005/09/13 12:24:46	1.5
@@ -56,6 +56,8 @@ def load_plat(env, args, platform=None):
 	if platform == None: # override
 		p = sys.platform
 	else: p = platform
+	if p == 'win32' and 'gcc' in env['TOOLS']:
+		p = 'mingw'
 	pl = []
 	print 'Detected platform "%s" (%s).' % (sys.platform, os.name)
 	for i in [len(p), -1, -2]: