diff options
Diffstat (limited to 'config/global')
-rw-r--r-- | config/global/paths.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/config/global/paths.in b/config/global/paths.in index 63b8775..f84abb7 100644 --- a/config/global/paths.in +++ b/config/global/paths.in @@ -78,3 +78,13 @@ config INSTALL_DIR_RO read-only. Usefull for toolchains destined for production. + +config STRIP_ALL_TOOLCHAIN_EXECUTABLES + bool + prompt "Strip all toolchain executables" + default y + help + All build host executables contain a lot of unnecessary info. + By stripping all executables it slightly speeds up the compilation + of large projects. + NOTE: It does NOT strip the target libraries, only HOST executables |