Change OS guessing

2015-10-10 17:05:11 +02:00
parent b816ac185b
commit 9df5546838
1 changed files with 2 additions and 0 deletions
--- 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