fix wrong merge

Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
2020-09-11 16:38:35 +10:00 · 2020-09-11 16:38:35 +10:00 · d8a7a13140
parent cf4621e6ba
commit d8a7a13140
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -68,7 +68,7 @@ pipeline {
          steps {
            container( 'jetty-build' ) {
              timeout( time: 30, unit: 'MINUTES' ) {
-                mavenBuild( "jdk8", "-T3 -Pcompact3 clean install -DskipTests", "maven3",
+                mavenBuild( "jdk11", "-T3 -Pcompact3 clean install -DskipTests", "maven3",
                            [[parserName: 'Maven'], [parserName: 'Java']])
              }
            }