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}