diff options
| -rwxr-xr-x | tools/travis-ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/travis-ci/run.sh b/tools/travis-ci/run.sh index 634d05dc..e8c5a281 100755 --- a/tools/travis-ci/run.sh +++ b/tools/travis-ci/run.sh @@ -70,7 +70,7 @@ 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 + elif [ "${APPVEYOR:-}" == "True" ]; then TRAVIS_OS_NAME=windows else echo "Failed to guess OS"; exit 1 |