Martin Stein f6dd1f9b9c tool/depot: user-friendly error on missing port ... In general, make the message conform to the according message of the common build system. Adds instruction how to fix the missing/outdated port. Fixes #2573		2017-11-30 11:23:03 +01:00
..
build_bin_archive	depot: remove bin/<arch>/<api-version> subdir	2017-08-28 16:49:37 +02:00
categorize_args.inc	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
common.inc	Ensure stable sorting order in tools	2017-11-06 13:57:25 +01:00
content_env.mk	tool/depot: user-friendly error on missing port	2017-11-30 11:23:03 +01:00
dependencies.inc	depot: remove bin/<arch>/<api-version> subdir	2017-08-28 16:49:37 +02:00
downloader	tool/depot: download archives from web server	2017-05-31 13:16:24 +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	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract_raw_archive	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract_src_archive	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00
extract.inc	Ensure stable sorting order in tools	2017-11-06 13:57:25 +01:00
front_end.inc	depot: fix binary-archive handling for libs	2017-06-19 12:35:54 +02:00
gpg.inc	Tool for assembling API/source/binary archives	2017-05-31 13:15:56 +02:00