genode-ehmry/tool/depot/mk
Emery Hemingway b51ee34b11 Depot: support for GPG command line override
Allow the gpg utility to be overridden on the command line. For
example, './tool/depot/publish GPG="ssh 10.0.1.3 gpg" ...' would invoke
a remote gpg over SSH.

Fix #2981
2018-09-17 14:11:37 +02:00
..
build_bin_archive depot: move versions to subdirectory 2017-12-21 15:01:45 +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.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: switch from .tgz to .tar.xz 2017-12-21 15:01:44 +01: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_raw_archive Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
extract_src_archive depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
extract.inc depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
front_end.inc depot: make DEPOT_DIR overridable 2018-01-17 12:14:40 +01:00
gpg.inc Depot: support for GPG command line override 2018-09-17 14:11:37 +02:00