mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-20 17:11:45 +00:00
parent
f9110541c8
commit
3adca95137
@ -1,7 +1,7 @@
|
||||
assert {[have_spec foc] &&
|
||||
[have_spec hw] &&
|
||||
[have_spec nova] &&
|
||||
[have_spec okl4] &&
|
||||
assert {[have_spec foc] ||
|
||||
[have_spec hw] ||
|
||||
[have_spec nova] ||
|
||||
[have_spec okl4] ||
|
||||
[have_spec sel4]}
|
||||
|
||||
set build_components {
|
||||
|
Loading…
x
Reference in New Issue
Block a user