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,118 Commits 2 Branches 70 Tags 87 MiB
dcd4578585
Commit Graph

1 Commits

Author SHA1 Message Date
Martin Stein
95ece89cf8 tool/depot: improve handling of missing ports 
* The extract tool determines and reports all missing ports at once.
* The extract tool automatically prepares all missing ports if PREPARE_PORTS=1.
* The missing_ports tool prints a list of missing ports for given archives.

Fixes #3353
 2019-05-27 14:52:52 +02:00