ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-09 12:41:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/tool/depot
History
Martin Stein 95ece89cf8 tool/depot: improve handling of missing ports 
* The extract tool determines and reports all missing ports at once.
* The extract tool automatically prepares all missing ports if PREPARE_PORTS=1.
* The missing_ports tool prints a list of missing ports for given archives.

Fixes #3353
2019-05-27 14:52:52 +02:00
..
mk
tool/depot: improve handling of missing ports
2019-05-27 14:52:52 +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
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: 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