Index: tools/utils.py |
diff --git a/tools/utils.py b/tools/utils.py |
index 8083091b6d38f7af0461b02f4460be8853fe7bb1..fb94d14186570a739011159cab181f5197e87f59 100644 |
--- a/tools/utils.py |
+++ b/tools/utils.py |
@@ -49,6 +49,8 @@ def GuessOS(): |
return 'linux' |
elif id == 'Darwin': |
return 'macos' |
+ elif id.find('CYGWIN') >= 0: |
+ return 'cygwin' |
elif id == 'Windows' or id == 'Microsoft': |
# On Windows Vista platform.system() can return 'Microsoft' with some |
# versions of Python, see http://bugs.python.org/issue1082 |