diff options
Diffstat (limited to '997.strip.build')
| -rw-r--r-- | 997.strip.build | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/997.strip.build b/997.strip.build new file mode 100644 index 00000000..7db5f5ca --- /dev/null +++ b/997.strip.build @@ -0,0 +1,18 @@ +# +# . ./build.vars and set -o errexit -o noglob are assumed. +# + +if [ "${BUILD}" != "release" ]; then + exit; +else + for __ in $(find ${PREFIX_NATIVE}/bin -perm -0100 \( -type f -or -type l \)); do + set +o errexit; + if [ -n "$(${PKG_TARGET}-objdump -h ${__} 2>/dev/null | awk '/\.debug_info\s/{print}')" ]; then + echo ${PKG_TARGET}-strip ${__}; + ${PKG_TARGET}-strip ${__}; + fi; + set -o errexit; + done; +fi; + +# vim:filetype=sh |