diff --git a/Jenkinsfile b/Jenkinsfile index a3cc844aa8f4..972dd227e913 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ pipeline { container('jetty-build') { timeout( time: 120, unit: 'MINUTES' ) { mavenBuild( "jdk11", "-T3 clean install", "maven3", - [[parserName: 'Maven'], [parserName: 'Java']] ) // -Pautobahn + [[parserName: 'Maven'], [parserName: 'Java']] ) // Collect up the jacoco execution results (only on main build) jacoco inclusionPattern: '**/org/eclipse/jetty/**/*.class', exclusionPattern: '' + @@ -42,6 +42,7 @@ pipeline { container( 'jetty-build' ) { timeout( time: 120, unit: 'MINUTES' ) { mavenBuild( "jdk15", "clean install -T3 -Djacoco.skip=true -Djacoco.skip=true", "maven3", + [[parserName: 'Maven'], [parserName: 'Java']] ) } } }