mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-18 15:18:20 +00:00
committed by
Norman Feske
parent
6e21ab42d2
commit
d605681ce4
@ -4,7 +4,10 @@
|
|||||||
# \author Alexander Boettcher
|
# \author Alexander Boettcher
|
||||||
#
|
#
|
||||||
|
|
||||||
if {[have_spec platform_pbxa9] || (![have_spec nova] && ![have_spec foc])} {
|
if {
|
||||||
|
![have_spec hw_arndale] &&
|
||||||
|
([have_spec platform_pbxa9] || (![have_spec nova] && ![have_spec foc]))
|
||||||
|
} {
|
||||||
puts "Platform is unsupported."
|
puts "Platform is unsupported."
|
||||||
exit 0
|
exit 0
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user