| 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
|
|
|