From 0777d16e7876f47280d101d7475b9eca27ad6b10 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 14 May 2019 15:05:23 +0200
Subject: [PATCH] Revert "ieee754: disable test for muen (fix #3305)"

This reverts commit 918b9a9fa49033d401216f65ec9bf78630bb8719.

The Muen debug console buffer was increased by the recent update, which
alleviates the issue with many log messages as in the ieee754 test.
---
 repos/libports/run/ieee754.run | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/repos/libports/run/ieee754.run b/repos/libports/run/ieee754.run
index 8502e8f7e..165f68c3a 100644
--- a/repos/libports/run/ieee754.run
+++ b/repos/libports/run/ieee754.run
@@ -2,10 +2,8 @@
 # Raspberry PI 1 needs "undef exc" handling emulation code in the kernel
 # for ieee754 full-compliant support
 #
-# 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"
+if {[have_spec rpi]} {
+	puts "Run script does not support Raspberry Pi 1"
 	exit 0
 }