diff options
Diffstat (limited to 'config_help.txt')
| -rw-r--r-- | config_help.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config_help.txt b/config_help.txt index 7b38e904b7..4ae7028506 100644 --- a/config_help.txt +++ b/config_help.txt @@ -67,7 +67,6 @@ Build options: -separate-debug-info . Split off debug information to separate files [no] -gdb-index ........... Index the debug info to speed up GDB [no; auto if -developer-build with debug info] - -strip ............... Strip release binaries of unneeded symbols [yes] -gc-binaries ......... Place each function or data item into its own section and enable linker garbage collection of unused sections. [auto for static builds, otherwise no] |