ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4c0792dc90
genode/tool/depot/mk
History
Norman Feske d4975235c2 tool/depot: download archives from web server 
This patch replaces the toy downloader (that merely copied files
locally, for testing) with the mechanics needed to download files from a
www server.

It also changes the use of GPG to use detached signatures.

Issue #2339
2017-05-31 13:16:24 +02:00
..
build_bin_archive Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
categorize_args.inc Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
common.inc Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
content_env.mk Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
dependencies.inc Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +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 Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
front_end.inc Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00
gpg.inc Tool for assembling API/source/binary archives 2017-05-31 13:15:56 +02:00