genode/tool/depot/mk
Norman Feske 3d0ed5992d tool/depot/create: add CCACHE=1 option
This commit complements issue #4004 with support for the depot/create
tool. If CCACHE=1 is specified at the command line, the build directory
for building a binary archive is configured with 'CCACHE := yes'.
2021-03-12 12:01:38 +01:00
..
build_bin_archive tool/depot/create: add CCACHE=1 option 2021-03-12 12:01:38 +01: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