diff options
| -rw-r--r-- | docs/GettingStarted.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html index 70b56c9408..a6ea989e92 100644 --- a/docs/GettingStarted.html +++ b/docs/GettingStarted.html @@ -247,11 +247,6 @@ <p><li><i>--enable-optimized</i> = Enables optimized compilation (debugging symbols are removed and GCC optimization flags are enabled). - <p><li><i>--enable-profiling</i> = - Enables profiling compilation (compiler flags needed to add profiling - data are enabled). - <p><li><i>--enable-verbose</i> = - Enables verbose messages during the compile. <p><li><i>--enable-jit</i> = Compile the Just In Time (JIT) functionality. This is not available on all platforms. |