From 9819068ee96056a50a4dff92dbd9c0dc796682b3 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Thu, 7 Dec 2017 23:50:47 -0500
Subject: [PATCH] Jenkins fetch git tags

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 358bb4ff01..086e147962 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,6 +36,7 @@ pipeline {
                       checkout scm
                       sh "make clean"
                       sh "ccache -z"
+                      sh "git fetch --tags"
                       sh "make nuttx_${node_name}_default"
                       sh "ccache -s"
                       archive 'build/*/*.px4'