mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
95ece89cf8
* 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 |
||
|---|---|---|
| .. | ||
| mk | ||
| build | ||
| create | ||
| dependencies | ||
| download | ||
| extract | ||
| missing_ports | ||
| publish | ||
| publish_current | ||
| static_analyze | ||