genode/tool/ports/mk
Christian Helmuth 0f7de9268d check_port_source: download first kilobytes of file
Unfortunately, some sites do not support the HTTP/1.1 range header and
just serve the whole file, which takes it's time and may result in a
timeout.

Fixes #2819
2018-05-30 13:36:14 +02:00
..
check_port_arg.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
check.mk check_port_source: download first kilobytes of file 2018-05-30 13:36:14 +02:00
common.inc Ensure stable sorting order in tools 2017-11-06 13:57:25 +01:00
front_end.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
hash.inc ports: also hash patches with absolute path names 2015-01-27 12:17:53 +01:00
install.mk prepare_port: prefer SHA256 file verification 2018-05-03 15:31:19 +02:00
prepare_single_port.mk prepare_port: prepare multiple ports at once 2016-03-07 12:34:43 +01:00