From b5bc92dcd5d62bb6696e7cf28d7ddaee14d2223a Mon Sep 17 00:00:00 2001
From: Simone Bordet <simone.bordet@gmail.com>
Date: Sat, 13 Aug 2022 21:13:40 +0200
Subject: [PATCH] Yet another try at Javadocs generation in Jenkins.

Signed-off-by: Simone Bordet <simone.bordet@gmail.com>
---
 Jenkinsfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7b1fba0d759..cdeb5e68f8d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -160,7 +160,8 @@ pipeline {
             container('jetty-build') {
               timeout(time: 120, unit: 'MINUTES') {
                 dir("${env.WORKSPACE}/buildy") {
-                  mavenBuild("jdk17", "clean compile javadoc:javadoc", "maven3")
+                  mavenBuild("jdk17", "clean install -DskipTests", "maven3")
+                  mavenBuild("jdk17", "javadoc:javadoc", "maven3")
                 }
               }
             }