diff -r 6a0b74b87dbd -r 51e4597b07fc config/global/paths.in --- a/config/global/paths.in Mon Mar 29 12:04:27 2010 +0200 +++ b/config/global/paths.in Thu May 27 23:18:19 2010 +0200 @@ -78,3 +78,13 @@ 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