Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Tweak format of zkg information in build info.

Browse source
This commit is contained in:
Robin Sommer 2023-05-15 17:21:59 +02:00
parent 7945043192
commit 40b1d8f913
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ci/collect-repo-info.py
View file

@ -211,7 +211,7 @@ def main():
zkg_provides_info = copy.deepcopy(included_plugins_info) zkg_provides_info = copy.deepcopy(included_plugins_info)
# Hardcode the former spicy-plugin so that zkg knows Spicy is available. # Hardcode the former spicy-plugin so that zkg knows Spicy is available.
zkg_provides_info.append({"name": "spicy-plugin", "version": info["version"].split("-")[0]}) zkg_provides_info.append({"name": "spicy-plugin", "version": info["version"].split("-")[0]})
info["zkg_provides"] = zkg_provides_info info["zkg"] = {"provides": zkg_provides_info}
json_str = json.dumps(info, indent=2, sort_keys=True) json_str = json.dumps(info, indent=2, sort_keys=True)
print(json_str) print(json_str)