ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 00:24:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Revert "ieee754: disable test for muen (fix #3305)"

Browse Source 
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.
This commit is contained in:
Christian Helmuth 2019-05-14 15:05:23 +02:00
parent d131e537e9
commit 0777d16e78
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/libports/run/ieee754.run
View File

@ -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
}