diff --git a/Jenkinsfile b/Jenkinsfile
index f70ad438b4cb7f0cfd7a214fe67d77314aed3731..acbbdc2c7fbdb1034f19463de61968e613ee4163 100644
--- 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'