Fetch new tags when fetching new Git sources
authorCaio Marcelo de Oliveira Filho <caio.oliveira@intel.com>
Mon, 12 Mar 2018 17:25:58 +0000 (10:25 -0700)
committerAlexander Galazin <Alexander.Galazin@arm.com>
Wed, 14 Mar 2018 08:14:29 +0000 (04:14 -0400)
Change-Id: I1a906ebf2698eac33c3acbf1da74df9642b775a2
Component: Framework
(cherry picked from commit 204d597504c94fa52ed0f5a2c21895482236d5cc)

external/fetch_sources.py

index 71f852a..4e7ae80 100644 (file)
@@ -228,7 +228,7 @@ class GitRepo (Source):
 
                pushWorkingDir(fullDstPath)
                try:
-                       execute(["git", "fetch", url, "+refs/heads/*:refs/remotes/origin/*"])
+                       execute(["git", "fetch", "--tags", url, "+refs/heads/*:refs/remotes/origin/*"])
                        execute(["git", "checkout", self.revision])
                finally:
                        popWorkingDir()