diff options
Diffstat (limited to 'manual/install.texi')
| -rw-r--r-- | manual/install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/install.texi b/manual/install.texi index 6488d8bbda..f6e5685ef5 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -141,7 +141,7 @@ 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 optimisation. We recommend against this. The extra +information and no optimization. We recommend against 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. |