From 806e29622ab191251e78faa546ed8f5e64ddcb42 Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Tue, 23 Feb 2016 17:41:33 +0100
Subject: [PATCH] [travis] use refactor_operators_functionals branch
---
.travis.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.travis.yml b/.travis.yml
index b9ff4ce27..38a64785c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -34,6 +34,7 @@ before_install:
- cd $HOME
- test -d src || git clone https://github.com/dune-community/dune-gdt-super.git src
- cd $HOME/src
+ - git checkout refactor_operators_functionals
- git submodule update --init --recursive
- git submodule status
- export DCTRL_ARG="--builddir=${DUNE_BUILD_DIR} --opts=${OPTS}"
--
GitLab