diff options
| -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 +) | 
