diff options
author | Shanqing Cai <cais@google.com> | 2017-01-23 18:25:25 -0800 |
---|---|---|
committer | TensorFlower Gardener <gardener@tensorflow.org> | 2017-01-23 18:45:23 -0800 |
commit | 56fc8834c736878af34f00caa95e7d4a57ab01d2 (patch) | |
tree | 138c8c7dbb5b97bf0ff24b84c20133569b625553 /configure | |
parent | 3b4e53b0739804af7e8f51412bac366dd842a3f1 (diff) |
Merge changes from github.
Change: 145363673
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ function is_macos() { function is_windows() { # On windows, the shell script is actually running in msys - if [[ "${PLATFORM}" =~ msys_nt* ]]; then + if [[ "${PLATFORM}" =~ msys_nt*|mingw*|cygwin*|uwin* ]]; then true else false |