change os guessing

diff --git a/tools/travis-ci/run.sh b/tools/travis-ci/run.sh
index b08e8001b53a377e86fb68411b3ef950582811e7..45658738b6a363dc6781a0eff884c62d00805a7b 100755 (executable)
--- a/tools/travis-ci/run.sh
+++ b/tools/travis-ci/run.sh
@@ -56,7 +56,7 @@ if [ "${TRAVIS_OS_NAME:-}" == "" ]; then
                        # default to gcc
                        export CC=gcc
                fi
-       elif uname -s | grep -i CYGWIN_NT &> /dev/null; then
+       elif uname -s | grep -i CYGWIN &> /dev/null; then
                TRAVIS_OS_NAME=windows
        else
                echo "Failed to guess OS"; exit 1