Merge branch 'master' of http://gitlab.onelab.info/gmsh/gmsh into gambit-output

2 jobs for gambit-output in 2 minutes and 30 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
failed full #357

00:00:55

passed minimal #358

00:01:34

 
Name Stage Failure
failed
full Test There is an unknown failure, please try again
make[2]: *** [CMakeFiles/gmsh.dir/Geo/OCCEdge.cpp.o] Error 1
CMakeFiles/gmsh.dir/build.make:1934: recipe for target 'CMakeFiles/gmsh.dir/Geo/OCCEdge.cpp.o' failed
make[2]: *** [CMakeFiles/gmsh.dir/Geo/OCCFace.cpp.o] Error 1
CMakeFiles/gmsh.dir/build.make:1958: recipe for target 'CMakeFiles/gmsh.dir/Geo/OCCFace.cpp.o' failed
make[1]: *** [CMakeFiles/gmsh.dir/all] Error 2
CMakeFiles/Makefile2:419: recipe for target 'CMakeFiles/gmsh.dir/all' failed
make: *** [all] Error 2
Makefile:160: recipe for target 'all' failed
ERROR: Job failed: exit code 1