diff options
| author | mayeut <mayeut@users.noreply.github.com> | 2015-11-07 02:04:10 +0100 |
|---|---|---|
| committer | mayeut <mayeut@users.noreply.github.com> | 2015-11-07 02:04:10 +0100 |
| commit | 601aa38c30258bc7eae1227e00f29a5557953e66 (patch) | |
| tree | dc0fc4b320b29ac1ff1727dfc818fe9d7214a794 /tools | |
| parent | fb4be3894e5c7c3a9820509ff2f4626ba19043fc (diff) | |
fix appveyor build
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/travis-ci/run.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/travis-ci/run.sh b/tools/travis-ci/run.sh index 7d6bd141..634d05dc 100755 --- 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 |