fetch_sources: can remove a tag before fetching
authorDavid Neto <dneto@google.com>
Wed, 10 Oct 2018 00:23:54 +0000 (20:23 -0400)
committerAlexander Galazin <Alexander.Galazin@arm.com>
Thu, 18 Oct 2018 07:23:16 +0000 (03:23 -0400)
commit595262f42a6653b225a42a990b10c69c99f5374d
treecfb01f6145874782a91041324b11f9a2bcd0342e
parenta4113fb01f0efa52fe4aebc70028cb164b1ee497
fetch_sources: can remove a tag before fetching

Glslang's master-tot tag moves around, which causes subsequent fetches
to fail. Forcibly remove it before fetching.

Change-Id: I18233e49cfac8652e4e6a56732cb1b4215488781
Component: Framework
VK-GL-CTS issue: 1412
external/fetch_sources.py