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	run: add --depot-auto-update feature	2019-04-09 12:30:34 +02:00
categorize_args.inc	depot: move versions to subdirectory	2017-12-21 15:01:45 +01:00
common.inc	Ensure stable sorting order in tools	2017-11-06 13:57:25 +01:00
content_env_missing_ports.mk	tool/depot: improve handling of missing ports	2019-05-27 14:52:52 +02:00
content_env.mk	depot: execute content rules sequentially	2018-03-08 12:05:09 +01:00
dependencies.inc	depot: move versions to subdirectory	2017-12-21 15:01:45 +01:00
downloader	depot: support for gpg command override	2018-09-21 15:49:52 +02:00
extract_api_archive	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract_content.inc	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract_pkg_archive	depot: verify that runtime file is valid	2018-08-02 14:36:34 +02:00
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	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract_src_archive	tool/depot: use nullglob on stale archive removal	2019-04-09 12:30:35 +02:00
extract.inc	tool/depot: rm binary archives if versions collide	2019-04-01 19:33:52 +02:00
front_end.inc	depot: make DEPOT_DIR overridable	2018-01-17 12:14:40 +01:00
gpg.inc	depot: prevent warning with newer GPG versions	2019-01-07 12:33:56 +01:00