fix appveyor build

diff --git a/tools/travis-ci/run.sh b/tools/travis-ci/run.sh
index 7d6bd141af73ad8afc091e71c035b9e77eada332..634d05dcaa2697c717754187058219fae16a2ede 100755 (executable)
--- a/tools/travis-ci/run.sh
+++ b/tools/travis-ci/run.sh
@@ -70,6 +70,8 @@ if [ "${TRAVIS_OS_NAME:-}" == "" ]; then
                TRAVIS_OS_NAME=windows
        elif uname -s | grep -i MINGW &> /dev/null; then
                TRAVIS_OS_NAME=windows
+       elif [ "${APPVEYOR:-}" == "True"; then
+               TRAVIS_OS_NAME=windows
        else
                echo "Failed to guess OS"; exit 1
        fi