mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-09 04:15:52 +00:00
parent
77e266d1ff
commit
ae91ca012e
@ -3,7 +3,9 @@
|
||||
#
|
||||
|
||||
if {[have_spec odroid_xu]} {
|
||||
puts "Run script not supported for this platform."; exit 0 }
|
||||
puts "\n Run script is not supported on this platform. \n";
|
||||
exit 0
|
||||
}
|
||||
|
||||
set build_components { core init test/fb_bench drivers/framebuffer drivers/timer }
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user