From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 7 Jan 2020 14:56:43 +0000 (-0500)
Subject: jenkins: increase OSX timeout
X-Git-Tag: v9.2.0-rc1~731^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9244%2Fhead;p=dealii.git

jenkins: increase OSX timeout

It turns out that builds take longer after updating the machine to a
newer xcode and we regularly encounter a timeout.
---

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index 5c0d92165c..8258efbdb7 100644
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -84,7 +84,7 @@ pipeline
         {
           steps
           {
-            timeout(time: 1, unit: 'HOURS')
+            timeout(time: 2, unit: 'HOURS')
             {
               sh "echo \"building on node ${env.NODE_NAME}\""
               sh '''#!/bin/bash