diff --git a/.cci.jenkinsfile b/.cci.jenkinsfile index 1f41be1a19..d586edde6c 100644 --- a/.cci.jenkinsfile +++ b/.cci.jenkinsfile @@ -18,7 +18,7 @@ stage("Build") { git fetch origin --tags git submodule update --init - env MAKE_JOBS=${n} SKIP_INSTALLDEPS=1 ./ci/build.sh + env MAKE_JOBS=${n} ./ci/build.sh """) } stage("Unit tests") {