diff options
| author | mayeut <mayeut@users.noreply.github.com> | 2015-10-10 17:05:11 +0200 |
|---|---|---|
| committer | mayeut <mayeut@users.noreply.github.com> | 2015-10-10 17:05:11 +0200 |
| commit | 9df5546838e12291f7db737e5e6597f17c92cadb (patch) | |
| tree | 107a49eea3bedf0c77f0a9b951d5e9874b282e49 | |
| parent | b816ac185bc3e0706ff3316ca6c8288dae79cd2b (diff) | |
Change OS guessing
| -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 45658738..a783c204 100755 --- a/tools/travis-ci/run.sh +++ b/tools/travis-ci/run.sh @@ -58,6 +58,8 @@ if [ "${TRAVIS_OS_NAME:-}" == "" ]; then fi elif uname -s | grep -i CYGWIN &> /dev/null; then TRAVIS_OS_NAME=windows + elif uname -s | grep -i MINGW32 &> /dev/null; then + TRAVIS_OS_NAME=windows else echo "Failed to guess OS"; exit 1 fi |