[Jenkins] Fixed slow PETSc builds on envinf1.

ufz · Jan 12, 2018 · ccadc53 · ccadc53
1 parent 5d0c92b
commit ccadc53
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -172,7 +172,6 @@ pipeline {
                   '-DBUILD_SHARED_LIBS=ON ' +
                   '-DOGS_USE_PETSC=ON '
                 env = 'envinf1/petsc.sh'
-                generator = 'Unix Makefiles'
               }
               build {
                 env = 'envinf1/petsc.sh'