From 92b632161ab1c2bdcff809ebce76d08a4adf8905 Mon Sep 17 00:00:00 2001
From: Lukas Riedel <mail@lukasriedel.com>
Date: Mon, 27 Mar 2017 21:52:21 +0200
Subject: [PATCH] compile all Dune modules again

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 757ec96a..1b0a2129 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@ build:main:
   tags:
     - docker
   script:
-    - MAKE_FLAGS="-j 2" ./dune-common/bin/dunecontrol --only=dorie all
+    - MAKE_FLAGS="-j 2" ./dune-common/bin/dunecontrol --module=dorie all
     - export PATH=/opt/dune/dorie/build-cmake/bin:$PATH
     - ARGS="--output-on-failure -j 2" ./dune-common/bin/dunecontrol --only=dorie make test
     - ./dune-common/bin/dunecontrol --only=dorie make doc
-- 
GitLab