From 6c73a496566c9376084986bebb3ae0e9be72c6b9 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <Ansgar.Burchardt@tu-dresden.de>
Date: Wed, 19 Oct 2016 19:24:23 +0200
Subject: [PATCH] .gitlab-ci.yml: Build against releases/2.5 branch of other
 modules.

---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2d566103f7..66180886e5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,7 @@
 ---
+variables:
+  DUNECI_BRANCH: releases/2.5
+
 before_script:
   - duneci-install-module https://gitlab.dune-project.org/core/dune-common.git
   - duneci-install-module https://gitlab.dune-project.org/core/dune-geometry.git
-- 
GitLab