From b0dacbac6635996bfbe12f8504cf46e438563b6a Mon Sep 17 00:00:00 2001 From: gurkerl83 Date: Mon, 7 Dec 2020 00:25:55 +0100 Subject: [PATCH] Remove jenkins profile According to the Jenkins configuration, only the maven profiles src and doc are necessary to execute in the build process. This commit removes the dedicated jenkins profile. --- project/pom.xml | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/project/pom.xml b/project/pom.xml index 4d2e7c757d..fb3452ea20 100644 --- a/project/pom.xml +++ b/project/pom.xml @@ -1255,31 +1255,5 @@ - - jenkins - - - - - maven-toolchains-plugin - 1.1 - - - - toolchain - - - - - - - ${jdk.version} - - - - - - -