diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/rstrip.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/rstrip.sh b/scripts/rstrip.sh index d9d3ad21b..023ae4e54 100755 --- a/scripts/rstrip.sh +++ b/scripts/rstrip.sh @@ -15,7 +15,7 @@ TARGETS=$* exit 1 } -find $TARGETS -type f -a -exec file {} \; | \ +find $TARGETS -type f -not -name \*.o -not -name \*.ko -a -exec file {} \; | \ sed -n -e 's/^\(.*\):.*ELF.*\(executable\|relocatable\|shared object\).*, not stripped/\1:\2/p' | \ ( IFS=":" |