From 40d2f5ec1408cae2cdbf40965e788cf1b9cbbd19 Mon Sep 17 00:00:00 2001
From: Marc Mattmueller <marc.mattmueller@netmodule.com>
Date: Wed, 2 Dec 2020 18:14:07 +0100
Subject: [PATCH] jenkins: added git prune option when fetching tags

BugzID: 69317

Signed-off-by: Marc Mattmueller <marc.mattmueller@netmodule.com>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index a1715b5..7f39cee 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -116,7 +116,7 @@ def handle_submodules(versionParam) {
 }
 
 def build_version(versionParam) {
-  sh 'git fetch -t'
+  sh 'git fetch -t -p'
   def gitCmd = "git describe --tags"
   if(!isRelease(versionParam)) {
     gitCmd = "${gitCmd} --dirty"