Canonicalize Cygwin platform name. The platform module will apparently

produce things like cygwin_nt-5.1, at least in some circumstances.

1 files changed, 4 insertions, 0 deletions

diff --git a/configure.py b/configure.py
index 3053dea67..37cfbc39a 100755
--- a/configure.py
+++ b/configure.py
@@ -1059,6 +1059,10 @@ def main(argv = None):
     if options.os == "java":
         raise Exception("Jython detected: need --os and --cpu to set target")
 
+    if re.match('^cygwin_.*', options.os):
+        logging.debug("Converting '%s' to 'cygwin'", options.os)
+        options.os = 'cygwin'
+
     options.base_dir = os.path.dirname(argv[0])
     options.src_dir = os.path.join(options.base_dir, 'src')