ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
767ea7f5b1
genode/tool/depot
History
Christian Helmuth 66c2c74147 depot/publish: let gpg overwrite .sig files 
Without this change gpg aborted with

  gpg: Sorry, no terminal at all requested - can't get input

and after adding --batch onlye with

  gpg: signing failed: File exists
2023-10-25 08:58:52 +02:00
..
mk depot/download: let curl fail on 404 response 2023-05-30 12:03:27 +02:00
build tool/depot: fix forwarding of CCACHE 2021-07-28 11:24:56 +02:00
create tool/depot/create: typo fix 2022-01-19 12:35:49 +01:00
dependencies tool/depot: make DEPOT_TOOL_DIR customizable 2022-05-25 12:22:10 +02:00
download tool/depot: pass make flags to dependencies cmd 2022-05-25 12:22:10 +02:00
extract tool/depot: improve handling of missing ports 2019-05-27 14:52:52 +02:00
missing_ports tool/depot: improve handling of missing ports 2019-05-27 14:52:52 +02:00
publish depot/publish: let gpg overwrite .sig files 2023-10-25 08:58:52 +02:00
publish_current depot: tool for publishing current versions 2018-05-03 16:11:53 +02:00
static_analyze tool: use static analyzer with depot creation tool 2018-11-29 11:46:02 +01:00