Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/jetty-9.3.x' into jetty-9.4.x

This commit is contained in:
Joakim Erdfelt 2017-08-16 05:05:58 -07:00
parent aea4b784b5 7ac18fc215
commit a472546bd0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@ -38,7 +38,7 @@ node {
stage('Javadoc') { stage('Javadoc') {
withEnv(mvnEnv) { withEnv(mvnEnv) {
timeout(time: 20, unit: 'MINUTES') { timeout(time: 20, unit: 'MINUTES') {
sh "mvn --offline -B javadoc:javadoc" sh "mvn -B javadoc:javadoc"
} }
} }
} }