From 8ca6009c09ac155aa86b5f77d1fd3b1fd5bfebb9 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 10 Mar 2017 15:39:47 +0100
Subject: [PATCH] fb_bench: disable autopilot run on linux

---
 repos/os/run/fb_bench.run | 5 +++++
 1 file changed, 5 insertions(+)

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