diff options
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/strip_nonapi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/strip_nonapi b/build_tools/strip_nonapi index 99d21f666..5fc0ed114 100755 --- a/build_tools/strip_nonapi +++ b/build_tools/strip_nonapi @@ -20,7 +20,7 @@ FILTER="grep -v -e ^ast_ -e ^_ast_ -e ^__ast_ -e ^astman_ -e ^pbx_" case "${OSARCH}" in linux-gnu) nm ${1} | grep -e " T " | cut -d" " -f3 | ${FILTER} > striplist - sed -e "s/^/-N /" striplist | xargs strip ${1} + sed -e "s/^/-N /" striplist | xargs ${STRIP} ${1} rm -f striplist ;; *) |