From 937a25f2187efa07d64e51df5d614ffa90741288 Mon Sep 17 00:00:00 2001
From: Johannes Visintini <johannes.visintini@heigit.org>
Date: Thu, 18 Mar 2021 17:04:58 +0100
Subject: [PATCH] add missing build for internal release

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3a145257..f4e1fc6f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -131,6 +131,9 @@ pipeline {
       }
       steps {
         script {
+          withCredentials([string(credentialsId: 'gpg-signing-key-passphrase', variable: 'PASSPHRASE')]) {
+            buildInfo = rtMaven.run pom: 'pom.xml', goals: 'clean javadoc:jar source:jar package -P sign,git -Dmaven.repo.local=.m2 -Dgpg.passphrase=$PASSPHRASE -DskipTests=true'
+          }
           rtMaven.deployer.deployArtifacts buildInfo
           server.publishBuildInfo buildInfo
           RELEASE_DEPLOY = true