diff options
Diffstat (limited to 'docs/MakefileGuide.html')
| -rw-r--r-- | docs/MakefileGuide.html | 4 |
1 files changed, 4 insertions, 0 deletions
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 |