From f5c0f2a439faf4f53892f82e299c2e8c222061b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=BCthing?=
 <steffen.muething@iwr.uni-heidelberg.de>
Date: Tue, 3 Jul 2018 13:55:32 +0200
Subject: [PATCH] Don't mess around with DUNECI_PARALLEL

---
 .gitlab-ci.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 70f680e8..8986a857 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,12 +3,8 @@ variables:
   GIT_SUBMODULE_STRATEGY: recursive
 
 before_script:
-- echo "Running make concurrently with $(nproc) cores, where possibly"
+- echo "Running make concurrently with ${DUNECI_PARALLEL} cores, where possibly"
 - patches/apply_patches.sh
-# detect number of processors, but make sure never to run with -j"", as the
-# build host would likely run out of memory
-- ": ${DUNECI_PARALLEL:=$(nproc || echo 1)}"
-- export DUNECI_PARALLEL
 
 git--gcc:
   image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
-- 
GitLab