From 5bf9ab20533b4d0b1b1e9972f768710802e5f8fc Mon Sep 17 00:00:00 2001
From: "Praetorius, Simon" <simon.praetorius@tu-dresden.de>
Date: Mon, 3 Sep 2018 15:07:01 +0200
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0dad5bc..ae8a587 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,13 +2,13 @@
 dune:2.6--gcc:
   image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-gcc-7-14
   script:
-  - dunecontrol --current all
+  - dunecontrol --current --opts=/duneci/toolchain all
   - cmake --build build-cmake --target build_tests
   - cmake --build build-cmake --target test
   
 dune:2.6--clang:
   image:  registry.dune-project.org/docker/ci/dune:2.6-debian-10-clang-6-libcpp-17
   script:
-  - dunecontrol --current all
+  - dunecontrol --current --opts=/duneci/toolchain all
   - cmake --build build-cmake --target build_tests
   - cmake --build build-cmake --target test
-- 
GitLab