diff options
| -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 70e87eea88..369b4030ff 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -811,6 +811,11 @@ script to configure the build system:</p> unoptimized build (also known as a debug build). <p></p> </dd> + <dt><i>--enable-debug-runtime</i></dt> + <dd> + Enables debug symbols in the runtime libraries. The default is to strip + debug symbols from the runtime libraries. + </dd> <dt><i>--enable-jit</i></dt> <dd> Compile the Just In Time (JIT) compiler functionality. This is not |