From 5ce4e4ae5ce305e3b0051e23a74a15a036a6935d Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Thu, 15 Mar 2018 16:52:23 +0100
Subject: [PATCH] update url of the sonarqube server

---
 tools/analysis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/analysis.sh b/tools/analysis.sh
index d7ffc3f55..87175281d 100755
--- a/tools/analysis.sh
+++ b/tools/analysis.sh
@@ -20,7 +20,7 @@ rats -w 3 --xml  `cat filelist.txt` > chameleon_rats.xml
 
 # create the sonarqube config file
 cat > sonar-project.properties << EOF
-sonar.host.url=https://sonarqube.bordeaux.inria.fr/
+sonar.host.url=https://sonarqube.bordeaux.inria.fr/sonarqube
 sonar.login=$SONARQUBE_LOGIN
 
 sonar.links.homepage=https://gitlab.inria.fr/solverstack/chameleon
-- 
GitLab