diff options
Diffstat (limited to 'scripts/rstrip.sh')
-rwxr-xr-x | scripts/rstrip.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/scripts/rstrip.sh b/scripts/rstrip.sh new file mode 100755 index 000000000..d9d3ad21b --- /dev/null +++ b/scripts/rstrip.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +SELF=${0##*/} + +[ -z "$STRIP" ] && { + echo "$SELF: strip command not defined (STRIP variable not set)" + exit 1 +} + +TARGETS=$* + +[ -z "$TARGETS" ] && { + echo "$SELF: no directories / files specified" + echo "usage: $SELF [PATH...]" + exit 1 +} + +find $TARGETS -type f -a -exec file {} \; | \ + sed -n -e 's/^\(.*\):.*ELF.*\(executable\|relocatable\|shared object\).*, not stripped/\1:\2/p' | \ +( + IFS=":" + while read F S; do + echo "$SELF: $F:$S" + eval "$STRIP $F" + done +) |