WAF: explain in the docs how to change the compilation flags.
authorGustavo J. A. M. Carneiro <gjc@inescporto.pt>
Tue, 10 Jul 2007 13:45:20 +0100
changeset 925 914adb9a1aab
parent 924 fa23f33acca0
child 926 1fdec986d774
WAF: explain in the docs how to change the compilation flags.
doc/build-waf.txt
--- a/doc/build-waf.txt	Tue Jul 10 13:42:23 2007 +0100
+++ b/doc/build-waf.txt	Tue Jul 10 13:45:20 2007 +0100
@@ -20,7 +20,9 @@
 
 To see valid configure options, type waf --help.  The most important
 option is -d <debug level>.  Valid debug levels (which are listed in
-waf --help) are: ultradebug, debug, release, and optimized.
+waf --help) are: ultradebug, debug, release, and optimized.  It is
+also possible to change the flags used for compilation with (e.g.):
+CXXFLAGS="-O3" waf configure.
 
 [ Note:  Unlike some other build tools, to change the build target,
 the option must be supplied during the configure stage rather than