changed travis settings
I think the only failing case was openmp+mpi+debug options. I disabled openmp in that case, so that it should work. Let's see...
Loading
Please sign in to comment
I think the only failing case was openmp+mpi+debug options. I disabled openmp in that case, so that it should work. Let's see...