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 5c0d92165ca2bf6cc07a565c87f82588aab9d098..8258efbdb753e4187fc9c1336e68f7eb1663883d 100644 (file)
--- 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