From 9df5546838e12291f7db737e5e6597f17c92cadb Mon Sep 17 00:00:00 2001
From: mayeut <mayeut@users.noreply.github.com>
Date: Sat, 10 Oct 2015 17:05:11 +0200
Subject: [PATCH] Change OS guessing

---
 tools/travis-ci/run.sh | 2 ++
 1 file changed, 2 insertions(+)

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