In docs, suggest "-O0 -g" only if using a debugger.

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 16fbdc6c7c6d92817a43680dc9dc9639333e9f21..76c64e5cceee22530cfd475e4a73439cae09936a 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1418,7 +1418,7 @@ su - postgres
       Server developers should consider using the configure options 
       --enable-cassert and --enable-debug to enhance the
       ability to detect and debug server errors.  They should also consider
-      running configure with CFLAGS="-O0 -g".
+      running configure with CFLAGS="-O0 -g" if using a debugger.