diff -r 000000000000 -r 39d8baac9c69 config/tools/sstrip.in --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/config/tools/sstrip.in Fri Jun 01 17:00:43 2007 +0000 @@ -0,0 +1,46 @@ +# Configuration file for sstrip tool facility + +menuconfig SSTRIP + bool + prompt "sstrip" + default n + help + The sstrip utility, to maximise the striping of ELF binaries + (executables and libraries). + +if SSTRIP + +choice + bool + prompt "Use sstrip from:" + +config SSTRIP_ELFKICKERS + bool + prompt "ELFkickers" + help + Use the original, ageing version of sstrip from ELFkickers. + It seems to be fully functional, but not maintained. + +config SSTRIP_BUILDROOT + bool + prompt "buildroot" + help + Use the version from buildroot. It comes from the original + ELFkickers, but is somewhat maintained by the buildroot guys. + +endchoice + +config SSTRIP_FROM + string + default "ELFkickers" if SSTRIP_ELFKICKERS + default "buildroot" if SSTRIP_BUILDROOT + +if SSTRIP_ELFKICKERS + +config SSTRIP_ELFKICKERS_VERSION + string + default "2.0a" + +endif + +endif