# Test the x87 floating point information printout.
-if { ![istarget "i?86-*-*"] && ![istarget "x86_64-*-*"] } then {
+if {![istarget "i?86-*-*"] && ![istarget "x86_64-*-*"]} {
verbose "Skipping i386 tests for x87 floating point support."
return
}
return -1
}
-if ![runto_main] then {
+if {![runto_main]} {
return 0
}