some cleanup

1 job for develop in 2 minutes and 2 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #4600
dune:git--gcc

00:02:02

 
Name Stage Failure
failed
dune:git--gcc Test There is an unknown failure, please try again
dune/amdis/CMakeFiles/duneamdis.dir/build.make:254: recipe for target 'dune/amdis/CMakeFiles/duneamdis.dir/ProblemStat.cpp.o' failed
make[2]: *** [dune/amdis/CMakeFiles/duneamdis.dir/ProblemStat.cpp.o] Error 1
CMakeFiles/Makefile2:1512: recipe for target 'dune/amdis/CMakeFiles/duneamdis.dir/all' failed
make[1]: *** [dune/amdis/CMakeFiles/duneamdis.dir/all] Error 2
Makefile:160: recipe for target 'all' failed
make: *** [all] Error 2
--- Failed to build dune-amdis ---
Terminating dunecontrol due to previous errors!
ERROR: Job failed: exit code 1