self.postExtract(dstPath)
class GitRepo (Source):
- def __init__(self, httpsUrl, sshUrl, revision, baseDir, extractDir = "src"):
+ def __init__(self, httpsUrl, sshUrl, revision, baseDir, extractDir = "src", removeTags = []):
Source.__init__(self, baseDir, extractDir)
self.httpsUrl = httpsUrl
self.sshUrl = sshUrl
self.revision = revision
+ self.removeTags = removeTags
def detectProtocol(self, cmdProtocol = None):
# reuse parent repo protocol
pushWorkingDir(fullDstPath)
try:
+ for tag in self.removeTags:
+ proc = subprocess.Popen(['git', 'tag', '-l', tag], stdout=subprocess.PIPE)
+ (stdout, stderr) = proc.communicate()
+ if proc.returncode == 0:
+ execute(["git", "tag", "-d",tag])
execute(["git", "fetch", "--tags", url, "+refs/heads/*:refs/remotes/origin/*"])
execute(["git", "checkout", self.revision])
finally:
"https://github.com/KhronosGroup/glslang.git",
None,
"e9405d0b443a1849fa55b7bfeaceda586a1c37af",
- "glslang"),
+ "glslang",
+ removeTags = ['master-tot']),
GitRepo(
"https://github.com/KhronosGroup/SPIRV-Headers.git",
None,