denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ieee754: disable test for muen (fix #3305)

Browse Source
This commit is contained in:
Stefan Kalkowski
2019-04-25 14:01:02 +02:00
committed by Christian Helmuth
parent 089cb0f536
commit 918b9a9fa4
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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