fix configure reporting of --disable-float

This commit is contained in:
Matthew Flatt 2011-01-31 19:16:07 -07:00
parent fad0224259
commit dc49e6a364
2 changed files with 2 additions and 2 deletions

2
src/configure vendored
View File

@ -2227,7 +2227,7 @@ show_explicitly_enabled "${enable_sgcdebug}" "SGC debug mode"
show_explicitly_enabled "${enable_compact}" "Compact 3m GC"
show_explicitly_enabled "${enable_backtrace}" "3m GC backtraces"
show_explicitly_enabled "${enable_float}" "Single-precision floats"
show_explicitly_disabled "${enable_float}" "Single-precision floats"
show_explicitly_enabled "${enable_floatinstead}" "Single-precision default floats"
show_explicitly_enabled "${enable_pthread}" "pthreads"

View File

@ -290,7 +290,7 @@ show_explicitly_enabled "${enable_sgcdebug}" "SGC debug mode"
show_explicitly_enabled "${enable_compact}" "Compact 3m GC"
show_explicitly_enabled "${enable_backtrace}" "3m GC backtraces"
show_explicitly_enabled "${enable_float}" "Single-precision floats"
show_explicitly_disabled "${enable_float}" "Single-precision floats"
show_explicitly_enabled "${enable_floatinstead}" "Single-precision default floats"
show_explicitly_enabled "${enable_pthread}" "pthreads"