diff options
Diffstat (limited to 'build_tools/strip_nonapi')
-rwxr-xr-x | build_tools/strip_nonapi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_tools/strip_nonapi b/build_tools/strip_nonapi index 5fc0ed114..c2262cafa 100755 --- a/build_tools/strip_nonapi +++ b/build_tools/strip_nonapi @@ -15,11 +15,11 @@ # astman_ # pbx_ -FILTER="grep -v -e ^ast_ -e ^_ast_ -e ^__ast_ -e ^astman_ -e ^pbx_" +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 + nm ${1} | ${GREP} -e " T " | cut -d" " -f3 | ${FILTER} > striplist sed -e "s/^/-N /" striplist | xargs ${STRIP} ${1} rm -f striplist ;; |