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 }