From 4d1ed98d020c95361ce898f6f07006b64f1c0dde Mon Sep 17 00:00:00 2001
From: Simon Praetorius <simon.praetorius@tu-dresden.de>
Date: Thu, 16 Nov 2017 17:41:42 +0100
Subject: [PATCH] gitlabci updated

---
 .gitlab-ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 706e439e..9e32fc72 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,8 +6,7 @@ cache:
 dune:git--gcc:
   image: mathiwr/dune:latest
   script:
-  - ./contrib/ci-setup
-  - dunecontrol --opts=/duneci/opts.gcc --current all
+  - dunecontrol --current all
   - dunecontrol --current make test
   only:
   - develop
-- 
GitLab