From 712b5bbcf970a77205ead87b1f2d5e7c689708ea Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Fri, 12 May 2017 06:11:03 -0700
Subject: [PATCH] Making javadoc build stage be offline instead

(cherry picked from commit c794af8)
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b4c121d636f..0016dc734dd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,8 +37,8 @@ node {
   {
     stage('Javadoc') {
       withEnv(mvnEnv) {
-        timeout(time: 15, unit: 'MINUTES') {
-          sh "mvn -B javadoc:javadoc"
+        timeout(time: 20, unit: 'MINUTES') {
+          sh "mvn --offline -B javadoc:javadoc"
         }
       }
     }