67: Build on Travis MacOSX only on pull requests

Task-Url: https://github.com/LorenzoBettini/xsemantics/issues/issue/67

.travis.yml

@@ -32,7 +32,8 @@ before_install:
 
 before_script:
  - bash -e ./before_script.sh
-
+
+# Build on MacOSX is triggered only for pull requests
 script:
  - export
- - mvn -f releng/it.xsemantics.releng/pom.xml clean verify -U -Dfindbugs.skip=true -Pjacoco-report coveralls:report
+ - bash -e ./travis_build.sh

travis_build.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -ev
+if [ "$TRAVIS_OS_NAME" == "osx" ]; then
+	if [ "${TRAVIS_PULL_REQUEST}" != "false" ]; then
+		echo "Build on MacOSX: Pull Request"
+		mvn -f releng/it.xsemantics.releng/pom.xml clean verify -U -Dfindbugs.skip=true
+	else
+		echo "Skipping build on MacOSX for standard commit"
+	fi
+else
+	echo "Build on Linux"
+	mvn -f releng/it.xsemantics.releng/pom.xml clean verify -U -Dfindbugs.skip=true -Pjacoco-report coveralls:report
+fi