diff Resources/TravisBuild.sh @ 1263:961482485deb

mingw32
author Sebastien Jodogne <s.jodogne@gmail.com>
date Thu, 08 Jan 2015 16:03:02 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Resources/TravisBuild.sh	Thu Jan 08 16:03:02 2015 +0100
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+set -e
+
+if [ "$TRAVIS_OS_NAME" == "linux" ]; then
+    cd BuildMinGW32
+    make
+    cd ..
+fi
+
+cd Build
+make
+./UnitTests