From 3904cd1e08ca7f45d2eb85b29637b79674f57aae Mon Sep 17 00:00:00 2001 From: lloyd Date: Fri, 18 Feb 2011 13:31:52 +0000 Subject: Canonicalize Cygwin platform name. The platform module will apparently produce things like cygwin_nt-5.1, at least in some circumstances. --- configure.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'configure.py') 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') -- cgit v1.2.3