From 29cb40ec5bfe53aae2f519ddb9c766455bd021b8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 3 Jan 2019 22:54:27 +0100
Subject: [PATCH] gitlab-ci: don't build with sonar, as it does not work

---
 .gitlab-ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 288f181715..f7e1ac4f7c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,6 +16,5 @@ pages:
 
 ctest:
   script:
-  - apt install curl unzip
   - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
-  - ./tools/internal/travis-sonarqube.sh make VERBOSE=1 && ctest --output-on-failure
+  - make VERBOSE=1 && ctest --output-on-failure
-- 
2.20.1