From 6f3f6938df244fd4a422677bf7d1f9577526a81d Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <Ansgar.Burchardt@tu-dresden.de>
Date: Wed, 30 Aug 2017 16:34:00 +0200
Subject: [PATCH] .gitlab-ci.yml: use DUNECI_OPTS variable [ci skip]

This way dependencies installed via `duneci-install-module` are built
with the same options as the module to be tested.
---
 .gitlab-ci.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2986660a..cf7ac5ac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,8 @@ before_script:
 
 debian:10  gcc:c++17:
   image: duneci/base:10
-  script: duneci-standard-test --opts=/duneci/opts.gcc.c++17
+  script: duneci-standard-test
+  variables: {DUNECI_OPTS: /duneci/opts.gcc.c++17}
   tags: [duneci]
 
 debian:9--gcc:
@@ -14,7 +15,8 @@ debian:9--gcc:
 
 debian:9--clang:
   image: duneci/base:9
-  script: duneci-standard-test --opts=/duneci/opts.clang
+  script: duneci-standard-test
+  variables: {DUNECI_OPTS: /duneci/opts.clang}
   tags: [duneci]
 
 debian:8--gcc:
@@ -29,5 +31,6 @@ ubuntu:16.04--gcc:
 
 ubuntu:16.04--clang:
   image: duneci/base:16.04
-  script: duneci-standard-test --opts=/duneci/opts.clang
+  script: duneci-standard-test
+  variables: {DUNECI_OPTS: /duneci/opts.clang}
   tags: [duneci]
-- 
GitLab