From 32ef5da55a7f82a5756710cb84cbbad694c78477 Mon Sep 17 00:00:00 2001
From: Joel Dice <joel.dice@gmail.com>
Date: Tue, 19 Aug 2014 11:47:34 -0600
Subject: [PATCH] don't try to run CMake on Cygwin

We've still got some bugs to work out with CMake on Cygwin, so we
disable it for now.
---
 test/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/ci.sh b/test/ci.sh
index c6bb76f5f3..b48f0355c1 100755
--- a/test/ci.sh
+++ b/test/ci.sh
@@ -38,7 +38,7 @@ has_flag() {
 
 make_target=test
 
-run_cmake -DCMAKE_BUILD_TYPE=Debug
+test `uname -o` = "Cygwin" || run_cmake -DCMAKE_BUILD_TYPE=Debug
 
 run make jdk-test
 run make ${flags} ${make_target}