genode/tool/ports
Emery Hemingway 24deef9495 Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
..
mk tool/port: re-enable check_tool in install.mk 2019-08-28 14:22:33 +02:00
check_hash Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
check_port_source Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
current Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
list Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
prepare_port Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
shortcut Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00
update_hash Use #!/usr/bin/env ... shebangs 2019-11-28 15:07:24 +01:00