diff options
Diffstat (limited to 'scripts/rstrip.sh')
-rwxr-xr-x | scripts/rstrip.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/rstrip.sh b/scripts/rstrip.sh index 023ae4e54f..f71aaaf4f9 100755 --- a/scripts/rstrip.sh +++ b/scripts/rstrip.sh @@ -15,12 +15,14 @@ TARGETS=$* exit 1 } -find $TARGETS -type f -not -name \*.o -not -name \*.ko -a -exec file {} \; | \ +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" + [ "${F##*\.}" = "o" -o "${F##*\.}" = "ko" ] && \ + eval "$STRIP_KMOD $F" || \ + eval "$STRIP $F" done ) |