diff options
author | Thomas G. Lockhart | 1998-04-28 14:55:45 +0000 |
---|---|---|
committer | Thomas G. Lockhart | 1998-04-28 14:55:45 +0000 |
commit | f7fa77e60c0229ecf8abbd43f0c34c060144d9b0 (patch) | |
tree | 5f4bc46179c186670f5e697f69cfadc9234463e1 | |
parent | db602e80ad28f7b61c4a61da657b6a88e5da98b3 (diff) |
Include info on setting compiler options on the command line
when building executables.
-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"> |