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