summaryrefslogtreecommitdiff
path: root/config/global/paths.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/global/paths.in')
-rw-r--r--config/global/paths.in10
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