From ccadc5304cb58e9e4fdece75a243d28ffb9aab6d Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 12 Jan 2018 09:26:45 +0100
Subject: [PATCH] [Jenkins] Fixed slow PETSc builds on envinf1.
---
Jenkinsfile | 1 -
1 file changed, 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index f70ad438b4c..acbbdc2c7fb 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'
--
GitLab