From 6cdb823187853aa9ca4c31b732bf36a68feb384d Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 9 Sep 2015 11:32:24 +0200
Subject: [PATCH] Prevent libc file-system tests on hw_zynq

---
 repos/libports/run/libc_filesystem_test.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc
index a965c9820..3ddb160d7 100644
--- a/repos/libports/run/libc_filesystem_test.inc
+++ b/repos/libports/run/libc_filesystem_test.inc
@@ -4,7 +4,7 @@
 # \date   2011-05-27
 #
 
-if {[have_spec hw_odroid_xu]} {
+if {[have_spec hw_odroid_xu] || [have_spec hw_zynq]} {
 	puts "Run script does not support this platform."
 	exit 0
 }