summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas G. Lockhart1998-04-28 14:55:45 +0000
committerThomas G. Lockhart1998-04-28 14:55:45 +0000
commitf7fa77e60c0229ecf8abbd43f0c34c060144d9b0 (patch)
tree5f4bc46179c186670f5e697f69cfadc9234463e1
parentdb602e80ad28f7b61c4a61da657b6a88e5da98b3 (diff)
Include info on setting compiler options on the command line
when building executables.
-rw-r--r--doc/src/sgml/install.sgml11
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">