diff options
Diffstat (limited to 'docs/GettingStarted.html')
| -rw-r--r-- | docs/GettingStarted.html | 5 |
1 files changed, 5 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. |