diff --git a/ci/run-travis.sh b/ci/run-travis.sh index 596b6e58b8b5b9b1fac73db1e945db783941ffd3..2e6613d15d7ef88f0ce3d47d60e3cb40a2014484 100644 --- a/ci/run-travis.sh +++ b/ci/run-travis.sh @@ -1,6 +1,6 @@ set -ex -if [ "$TRAVIS_OS_NAME" = "linux"]; then +if [ "$TRAVIS_OS_NAME" = "linux" ]; then OS=unknown-linux-gnu else OS=apple-darwin