diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run index 5f3dc69477..f2a646581c 100644 --- a/repos/os/run/fb_bench.run +++ b/repos/os/run/fb_bench.run @@ -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