From 56fc8834c736878af34f00caa95e7d4a57ab01d2 Mon Sep 17 00:00:00 2001
From: Shanqing Cai <cais@google.com>
Date: Mon, 23 Jan 2017 18:25:25 -0800
Subject: Merge changes from github. Change: 145363673

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

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
-- 
cgit v1.2.3