+# Run ctest before sonar to gather coverage some information
+ctest --output-on-failure --timeout 100
+
+# Only run sonar on master (not on pull requests)
+if [ `git rev-parse --abbrev-ref HEAD` != "master" ] ; then
+ exit 0
+fi
+
+# generate the gcov files
+ctest -D ExperimentalCoverage
+
+# and finally execute the actual SonarQube analysis
+# (the SONAR_TOKEN is set from the travis web interface, to not expose it with an ongoing "set -x")