diff --git a/.travis.yml b/.travis.yml index b9ff4ce27ee3d36f46506dda8def51d02f4d7083..38a64785cf461d19da7297556d45eb33ecdf1a39 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}"