From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 6 Mar 2017 23:33:30 +0000 (+0100)
Subject: travis: improve our detection of whether we are on a pull request
X-Git-Tag: v3_15~212^2~3
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f16abb30f768f04c23c3cade67a48a89af45debd

travis: improve our detection of whether we are on a pull request

Reading the docs sometimes pays off
---

diff --git a/tools/internal/travis-sonarqube.sh b/tools/internal/travis-sonarqube.sh
index d069347e7b..406f86f66b 100755
--- a/tools/internal/travis-sonarqube.sh
+++ b/tools/internal/travis-sonarqube.sh
@@ -40,7 +40,7 @@ installBuildWrapper
 ctest --output-on-failure --timeout 100
 
 # Only run sonar on master (not on pull requests)
-if [ `git rev-parse --abbrev-ref HEAD` != "master" ] ; then
+if [ "$TRAVIS_PULL_REQUEST" != "false" ] ; then
   exit 0
 fi