From 0ae6da4bb077b6568d18e212c0f0481d151980b0 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Tue, 25 Aug 2020 09:45:50 -0400
Subject: [PATCH] Jenkins: microRTPS agent fetch git tags for versioning

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index d29b7be6a0..c5b631f848 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -266,6 +266,7 @@ pipeline {
           }
           steps {
             sh('export')
+            sh('git fetch --all --tags')
             sh('make distclean')
             sh('make px4_sitl_rtps')
             withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {