diff options
| -rw-r--r-- | doc/src/sgml/install.sgml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml index 06b284882fe..9a67c98640b 100644 --- a/doc/src/sgml/install.sgml +++ b/doc/src/sgml/install.sgml @@ -430,6 +430,17 @@ Compile the program. Type change directory back to this directory, type "make clean", then recompile again. </Para> + +<Para> + Compiler options, such as optimization and debugging, may + be specified on the command line using the COPT variable. + For example, typing +<ProgramListing> + gmake COPT="-g" all >& make.log & +</ProgramListing> + would invoke your compiler's -g option in all steps of the + build. See src/Makefile.global.in for further details. +</Para> </Step> <Step Performance="required"> |