Alice Domage 74abf8132e tool/port: add .sparse-git install rule ... Following Github support removal for svn [1], dde_rump port fails to prepare. This commit introduces a new install rule for ports, '.sparse-git'. It performs a sparse-checkout on the port repository, only fetching required files. [1] https://github.blog/2023-01-20-sunsetting-subversion-support/ Co-authored-by: Benjamin Lamowski <benjamin.lamowski@genode-labs.com> Issue genodelabs#5072 Issue genodelabs/goa#28		2023-12-13 12:33:05 +01:00
..
check_port_arg.inc	Add 'update_hash' and 'list' to tool/ports	2014-05-27 13:45:03 +02:00
check.mk	tool/port: add .sparse-git install rule	2023-12-13 12:33:05 +01:00
common.inc	Remove dependency from 'which' utility	2021-11-29 15:10:52 +01:00
front_end.inc	prepare_port: fix race condition in safety rule	2019-04-01 19:33:49 +02:00
hash.inc	tool/ports: customization hooks	2022-05-25 12:22:10 +02:00
install.mk	tool/port: add .sparse-git install rule	2023-12-13 12:33:05 +01:00
metadata_single_port.mk	port/metadata: improve info for multi-source ports	2023-05-30 12:03:34 +02:00
prepare_single_port.mk	prepare_port: simple cache for downloads	2021-03-12 12:01:37 +01:00