diff options
Diffstat (limited to '997.strip.build')
| -rw-r--r-- | 997.strip.build | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/997.strip.build b/997.strip.build deleted file mode 100644 index 7db5f5ca..00000000 --- a/997.strip.build +++ /dev/null @@ -1,18 +0,0 @@ -# -# . ./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 |