ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,722 Commits 2 Branches 70 Tags 87 MiB
1ddbb3444c
Commit Graph

1 Commits

Author SHA1 Message Date
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