genode/tool/ports/mk
Christian Helmuth 22bee79534 port/metadata: improve info for multi-source ports
Now, ./tool/ports/metadata dde_linux produces the following output.

  PORT:     dde_linux
  LICENSE:  GPLv2
  VERSION:  individual (see sources)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.4.3.tar.xz VERSION 4.4.3 (lxip)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (fec)
  SOURCE:   https://github.com/cproc/dwc_otg.git git r5 (dwc_otg_host)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_host)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_hid)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_modem)
  SOURCE:   https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.3.tar.xz VERSION 4.16.3 (usb_net)

Issue #4685
2023-05-30 12:03:34 +02:00
..
check_port_arg.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
check.mk tool/ports: streamline hash tool usage 2018-05-30 13:36:22 +02: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/ports: customization hooks 2022-05-25 12:22:10 +02: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