contrib/ci.inria.fr: better names for sonarqube build parameters

Signed-off-by: Brice Goglin <[email protected]>

Author: bgoglin

contrib/ci.inria.fr/Jenkinsfile-extended

@@ -70,7 +70,7 @@ pipeline {
 					if (env.NO_MINGW != 'true') {
 						listOfNodeNames.push('MinGW')
 					}
-					if (env.NO_SONAR != 'true') {
+					if (env.NO_SONARQUBE != 'true') {
 						listOfNodeNames.push('SonarQube Scanner')
 					}
 					if (env.NO_EMBEDDED != 'true') {

contrib/ci.inria.fr/job-3-sonarscanner.sh

@@ -35,7 +35,7 @@ fi
 
 # check that the repo is the official one
 if test x$git_repo_url != xhttps://github.com/open-mpi/hwloc.git; then
-  if test x$FORCE_SONAR_SCANNER = xtrue; then
+  if test x$FORCE_SONARQUBE = xtrue; then
     echo "Sending non-official repository output to 'tmp' branch on sonarqube server."
     hwloc_branch=tmp
   else