aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authorGravatar Shanqing Cai <cais@google.com>2017-01-23 18:25:25 -0800
committerGravatar TensorFlower Gardener <gardener@tensorflow.org>2017-01-23 18:45:23 -0800
commit56fc8834c736878af34f00caa95e7d4a57ab01d2 (patch)
tree138c8c7dbb5b97bf0ff24b84c20133569b625553 /configure
parent3b4e53b0739804af7e8f51412bac366dd842a3f1 (diff)
Merge changes from github.
Change: 145363673
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index c755ee1b75..a8e7bb7738 100755
--- a/configure
+++ b/configure
@@ -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