1 files changed, 5 insertions, 0 deletions
diff --git a/configure.py b/configure.py
index e91dc2934..2a3e8cccd 100755
--- a/configure.py
+++ b/configure.py
@@ -1509,6 +1509,11 @@ def main(argv = None):
 
     if options.os is None:
         options.os = platform.system().lower()
+
+        if re.match('^cygwin_.*', options.os):
+            logging.debug("Converting '%s' to 'cygwin'", options.os)
+            options.os = 'cygwin'
+
         logging.info('Guessing taget OS is %s (--os to set)' % (options.os))
 
     if options.compiler is None: