genode

Author	SHA1	Message	Date
Ehmry -	24deef9495	Use #!/usr/bin/env ... shebangs	2019-11-28 15:07:24 +01:00
Stefan Kalkowski	684ce272e6	tool/ports: add tool to check source availability The 'check_port_source' checks whether all remote sources defined for a given port are currently available. It returns zero, when all remote resources are available. Fix #1430	2015-03-19 08:57:18 +01:00