mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-21 22:46:04 +00:00
fix merge
Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
This commit is contained in:
parent
2f96792937
commit
8ac9912fd3
2
Jenkinsfile
vendored
2
Jenkinsfile
vendored
@ -38,7 +38,7 @@ def getFullBuild(jdk, os, mainJdk) {
|
||||
// Javadoc only
|
||||
sh "mvn -V -B javadoc:javadoc -T6 -e"
|
||||
// Testing
|
||||
sh "mvn -V -B install -Dmaven.test.failure.ignore=true -T5 -e -Pmongodb -Dunix.socket.tmp=" + env.JENKINS_HOME
|
||||
sh "mvn -V -B install -Dmaven.test.failure.ignore=true -T5 -e -Djetty.testtracker.log=true -Pmongodb -Dunix.socket.tmp=" + env.JENKINS_HOME
|
||||
|
||||
// Compact 3 build
|
||||
if (mainJdk) {
|
||||
|
Loading…
x
Reference in New Issue
Block a user