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 -)  | 
