diff options
| -rw-r--r-- | docs/GettingStarted.html | 5 | ||||
| -rw-r--r-- | docs/MakefileGuide.html | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index a7c1819b45..d0a48e0907 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -955,6 +955,11 @@ declaring variables on the command line. The following are some examples:</p> Perform a Release (Optimized) build. <p> + <dt><tt>gmake ENABLE_OPTIMIZED=1 ENABLE_ASSERTIONS=1</tt> + <dd> + Perform a Release (Optimized) build with assertions enabled. + <p> + <dt><tt>gmake ENABLE_PROFILING=1</tt> <dd> Perform a Profiling build. diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index f1c546c80c..254f21c9e2 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -632,6 +632,10 @@ to the compilers and linkers to ensure that profile data can be collected from the tools built. Use the <tt>gprof</tt> tool to analyze the output from the profiled tools (<tt>gmon.out</tt>).</dd> + <dt><a name="ENABLE_ASSERTIONS"><tt>ENABLE_ASSERTIONS</tt></a></dt> + <dd>If set to any value, causes the build to enable assertions, even if + building a release or profile build. This is slower than a release build but + far faster than a debug build.</dd> <dt><a name="EXPERIMENTAL_DIRS"><tt>EXPERIMENTAL_DIRS</tt></a></dt> <dd>Specify a set of directories that should be built, but if they fail, it should not cause the build to fail. Note that this should only be used |