genode/tool/depot/mk
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
..
build_bin_archive
categorize_args.inc
common.inc
content_env_missing_ports.mk tool/depot: improve handling of missing ports 2019-05-27 14:52:52 +02:00
content_env.mk
dependencies.inc
downloader
extract_api_archive
extract_content.inc
extract_pkg_archive
extract_post_dependencies.inc tool/depot: improve handling of missing ports 2019-05-27 14:52:52 +02:00
extract_pre_dependencies.inc tool/depot: improve handling of missing ports 2019-05-27 14:52:52 +02:00
extract_raw_archive
extract_src_archive tool/depot: use nullglob on stale archive removal 2019-04-09 12:30:35 +02:00
extract.inc
front_end.inc
gpg.inc