mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
fb_bench: disable autopilot run on linux
This commit is contained in:
@@ -7,6 +7,11 @@ if {[have_spec odroid_xu] || [have_spec wand_quad] || [have_spec zynq] || [have_
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && [have_spec linux]} {
|
||||
puts "\nAutopilot run is not supported on this platform\n"
|
||||
exit 0
|
||||
}
|
||||
|
||||
set build_components { core init test/fb_bench drivers/framebuffer drivers/timer }
|
||||
|
||||
source ${genode_dir}/repos/base/run/platform_drv.inc
|
||||
|
||||
Reference in New Issue
Block a user