Edited build.zig

This commit is contained in:
Kai Angulo 2024-05-31 23:59:48 -07:00
parent f2f81cf089
commit b56668a51c
3 changed files with 6 additions and 5 deletions

View file

@ -27,12 +27,12 @@ KNOWN_GOOD_FILE = 'known_good.json'
SITE_TO_KNOWN_GOOD_FILE = { 'github' : 'known_good.json',
'gitlab' : 'known_good_khr.json',
'zig-github' : 'known_good_zig.json' }
'zig' : 'known_good_zig.json' }
# Maps a site name to its hostname.
SITE_TO_HOST = { 'github' : 'https://github.com/',
'gitlab' : 'git@gitlab.khronos.org:',
'zig-github' : 'https://github.com/' }
'zig' : 'https://github.com/' }
VERBOSE = True