genode/tool/ports/mk
Martin Stein b039608e95 prepare_port: prepare multiple ports at once
The tool/prepare_port tool is now able to handle a list of ports that
shall be prepared. Additionally, one may state the number of ports that
shall be prepared in parallel at a max by using the -j parameter. If -j
is not set by the user, the tool acts as with -j1. The previous
implementation of the tool that prepares only a single port was moved to
tool/ports/mk/prepare_single_port.mk and acts as back end to the new
prepare_port tool. The interface of the new prepare_port tool is
backwards compatible. When called for one port only, the behavior is the
same as when calling tool/ports/mk/prepare_single_port.mk directly.

Removes "usage" rule from prepare_single_port.mk. Removes shebang line
from prepare_single_port.mk.

Ref #1872
2016-03-07 12:34:43 +01:00
..
check.mk tool/ports: curl timeout and retry in check.mk 2015-04-09 16:04:47 +02:00
check_port_arg.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
common.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
front_end.inc Add 'update_hash' and 'list' to tool/ports 2014-05-27 13:45:03 +02:00
hash.inc ports: also hash patches with absolute path names 2015-01-27 12:17:53 +01:00
install.mk prepare_port: prepare multiple ports at once 2016-03-07 12:34:43 +01:00
prepare_single_port.mk prepare_port: prepare multiple ports at once 2016-03-07 12:34:43 +01:00