diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/install.texi | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/manual/install.texi b/manual/install.texi index 0ef3c3cf04..a83a5dda01 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -136,13 +136,6 @@ linker. Don't build libraries with profiling information. You may want to use this option if you don't plan to do profiling. -@item --enable-omitfp -Use maximum optimization for the normal (static and shared) -libraries, and compile separate static libraries with debugging -information and no optimization. We recommend not doing this. The extra -optimization doesn't gain you much, it may provoke compiler bugs, and you -won't be able to trace bugs through the C library. - @item --disable-versioning Don't compile the shared libraries with symbol version information. Doing this will make the resulting library incompatible with old |