genode/repos/base-sel4/lib/mk
Martin Stein ff10687a6c toolchain: report missing ports at once
Previously, ports that were needed for a scenario and that were not
prepared or outdated, triggered one assertion each during the second
build stage. The commit slots a mechanism in ahead that gathers all
these ports during the first build stage and reports them in form of a
list before the second build stage is entered.  This list can be used
directly as argument for tool/ports/prepare_port to prepare respectively
update the ports. If, however, this mechanism is not available, for
example because a target is build without the first build stage, the old
assertion still prevents the target from running into troubles with a
missing port.

Fixes #1872
2016-03-07 12:34:43 +01:00
..
spec/x86_32 toolchain: report missing ports at once 2016-03-07 12:34:43 +01:00
base-common.inc sel4: bootstrap of init and page-fault handling 2015-05-26 09:40:00 +02:00
base.mk Fix build and execution of test/sel4 2015-10-06 12:18:56 +02:00
core_printf.mk sel4: move core console to core_printf library 2015-05-26 09:39:56 +02:00
core.mk core: unify and simplify paging code (Fix #1641) 2015-08-21 10:58:59 +02:00
syscall.mk sel4: first syscall invokation 2015-05-26 09:39:54 +02:00