ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-11 13:22:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/tool/depot
History
Norman Feske a3411c8e96 run: add --depot-auto-update feature 
If enabled, this option triggers the automated management of depot
content according to the needs of a run script.

Fixes #3270
2019-04-09 12:30:34 +02:00
..
mk
run: add --depot-auto-update feature
2019-04-09 12:30:34 +02:00
build
depot: add REBUILD argument to create, build tools
2017-12-21 15:01:50 +01:00
create
depot: add REBUILD argument to create, build tools
2017-12-21 15:01:50 +01:00
dependencies
depot: improved args check in dependencies tool
2017-12-21 15:01:45 +01:00
download
tool/depot: download archives from web server
2017-05-31 13:16:24 +02:00
extract
depot: allow to inject version command
2018-09-24 11:18:23 +02:00
publish
depot: delete signature file if signing failed
2019-03-01 15:43:50 +01: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