From e26918a1d495bbff8c4f3726014f450b6ce305a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=BCthing?=
<steffen.muething@iwr.uni-heidelberg.de>
Date: Fri, 6 Jul 2018 12:35:06 +0000
Subject: [PATCH] Disable hyperthreading
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 40e860ff..87b1eaf9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
---
variables:
GIT_SUBMODULE_STRATEGY: recursive
+ HYPERTHREADING: "false"
before_script:
- echo "Running make concurrently with ${DUNECI_PARALLEL} cores, where possibly"
--
GitLab