Cleaned cache
This commit is contained in:
parent
48adc7a80d
commit
6b8daf4802
11 changed files with 370 additions and 2162 deletions
|
|
@ -26,11 +26,13 @@ import sys
|
|||
KNOWN_GOOD_FILE = 'known_good.json'
|
||||
|
||||
SITE_TO_KNOWN_GOOD_FILE = { 'github' : 'known_good.json',
|
||||
'gitlab' : 'known_good_khr.json' }
|
||||
'gitlab' : 'known_good_khr.json',
|
||||
'zig-github' : 'known_good_zig.json' }
|
||||
|
||||
# Maps a site name to its hostname.
|
||||
SITE_TO_HOST = { 'github' : 'https://github.com/',
|
||||
'gitlab' : 'git@gitlab.khronos.org:' }
|
||||
'gitlab' : 'git@gitlab.khronos.org:',
|
||||
'zig-github' : 'https://github.com/' }
|
||||
|
||||
VERBOSE = True
|
||||
|
||||
|
|
@ -113,8 +115,10 @@ class GoodCommit(object):
|
|||
if not os.path.exists(os.path.join(self.subdir,'.git')):
|
||||
self.Clone()
|
||||
self.AddRemote()
|
||||
|
||||
if not self.HasCommit():
|
||||
self.Fetch()
|
||||
|
||||
command_output(['git', 'checkout', self.commit], self.subdir)
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue