genode/tool/depot/mk
Norman Feske b510394a6d depot/build_bin_archive: keep hash of ingredients
This patch records the content hashes of the src and api ingredients
used for creating a bin archive. This information allows for the
detection of possible inconsistencies between a bin archive and its
corresponding src archive within the depot.

Issue 
2024-11-20 08:55:49 +01:00
..
build_bin_archive depot/build_bin_archive: keep hash of ingredients 2024-11-20 08:55:49 +01:00
categorize_args.inc tool/depot: don't overwrite PATH variable 2023-01-24 12:07:31 +01:00
common.inc build: ensure rules with pipes might fail 2022-03-21 13:43:13 +01:00
content_env_missing_ports.mk tool/depot: sanity check for presence of port hash 2023-04-17 14:48:30 +02:00
content_env.mk depot: execute content rules sequentially 2018-03-08 12:05:09 +01:00
dependencies.inc depot: add support for debug info files 2023-11-28 14:45:29 +01:00
downloader depot/download: let curl fail on 404 response 2023-05-30 12:03:27 +02:00
extract_api_archive Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
extract_content.inc tool/depot: adapt to .NOPARALLEL changes in GNU make 4.4 2023-01-24 12:07:31 +01:00
extract_pkg_archive tool/depot: adapt to .NOPARALLEL changes in GNU make 4.4 2023-01-24 12:07:31 +01:00
extract_post_dependencies.inc tool/depot: don't overwrite PATH variable 2023-01-24 12:07:31 +01: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/extract: annotate version with src hash 2024-11-20 08:55:49 +01:00
front_end.inc tool/depot: make DEPOT_TOOL_DIR customizable 2022-05-25 12:22:10 +02:00
gpg.inc Fix getting pubkey_id from depot user pubkey 2024-05-30 14:07:16 +02:00