From 918b9a9fa49033d401216f65ec9bf78630bb8719 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 25 Apr 2019 14:01:02 +0200
Subject: [PATCH] ieee754: disable test for muen (fix #3305)

---
 repos/libports/run/ieee754.run | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/repos/libports/run/ieee754.run b/repos/libports/run/ieee754.run
index 165f68c3a..8502e8f7e 100644
--- a/repos/libports/run/ieee754.run
+++ b/repos/libports/run/ieee754.run
@@ -2,8 +2,10 @@
 # Raspberry PI 1 needs "undef exc" handling emulation code in the kernel
 # for ieee754 full-compliant support
 #
-if {[have_spec rpi]} {
-	puts "Run script does not support Raspberry Pi 1"
+# Muen has a problem with the long output needed by this test
+#
+if {[have_spec rpi] || [have_spec muen]} {
+	puts "Run script does not support this platform"
 	exit 0
 }