diff options
| author | mayeut <mayeut@users.noreply.github.com> | 2015-10-10 16:50:30 +0200 |
|---|---|---|
| committer | mayeut <mayeut@users.noreply.github.com> | 2015-10-10 16:50:30 +0200 |
| commit | b816ac185bc3e0706ff3316ca6c8288dae79cd2b (patch) | |
| tree | 27bfa20593a54677de642bd2421e0a7f5ad73651 /tools | |
| parent | d92c2b21174e7296e345682ff4d24b51a94afc99 (diff) | |
change os guessing
Diffstat (limited to 'tools')
| -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 b08e8001..45658738 100755 --- 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 |