Skip to content
Snippets Groups Projects
Commit 1c419fd7 authored by Dr. Felix Tobias Schindler's avatar Dr. Felix Tobias Schindler
Browse files

[travis] use mater branch in super module

parent b9b2f7c2
No related branches found
No related tags found
Loading
......@@ -42,7 +42,6 @@ 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
# our local scripts look for an OPTS env entry
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment