diff options
-rwxr-xr-x | scripts/rstrip.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/scripts/rstrip.sh b/scripts/rstrip.sh deleted file mode 100755 index d9d3ad21b..000000000 --- a/scripts/rstrip.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/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 -) |