diff -r 6a0b74b87dbd -r 5526fb72a893 config/global/paths.in
--- a/config/global/paths.in	Mon Mar 29 12:04:27 2010 +0200
+++ b/config/global/paths.in	Fri Aug 06 00:00:26 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