From 102676b1c1be6b640f89c091a3efa233e8eb86e1 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 1 Feb 2017 14:23:17 +0100
Subject: [PATCH] fb_bench: do not test on zynq

There is currently no FB driver for zynq.

Ref #2268
---
 repos/os/run/fb_bench.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index 20203845df..80d19a5d2e 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -2,7 +2,7 @@
 # Build
 #
 
-if {[have_spec odroid_xu] || [have_spec wand_quad]} {
+if {[have_spec odroid_xu] || [have_spec wand_quad] || [have_spec zynq]} {
 	puts "\n Run script is not supported on this platform. \n";
 	exit 0
 }