diff options
Diffstat (limited to 'build_tools/strip_nonapi')
-rwxr-xr-x | build_tools/strip_nonapi | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/build_tools/strip_nonapi b/build_tools/strip_nonapi new file mode 100755 index 000000000..ade30c978 --- /dev/null +++ b/build_tools/strip_nonapi @@ -0,0 +1,37 @@ +#!/bin/sh -e + +# This script is designed to remove all non-API global symbols from an object +# file. The only global symbols that should be retained are those that belong +# to the official namespace. Unfortunately doing this is platform-specific, as +# the object file manipulation tools are not consistent across platforms. +# +# On platforms where this script does not know what to do, the object file +# will retain non-API global symbols, and this may have unpleasant side effects. +# +# Prefixes that belong to the official namespace are: +# ast_ +# _ast_ +# __ast_ +# astman_ +# pbx_ + +case "${PROC}" in + powerpc64) + TEXTSYM=" D " + ;; + *) + TEXTSYM=" T " + ;; +esac + +FILTER="${GREP} -v -e ^ast_ -e ^_ast_ -e ^__ast_ -e ^astman_ -e ^pbx_" + +case "${OSARCH}" in + linux-gnu) + nm ${1} | ${GREP} -e "$TEXTSYM" | cut -d" " -f3 | ${FILTER} > striplist + sed -e "s/^/-N /" striplist | xargs -n 40 ${STRIP} ${1} + rm -f striplist + ;; + *) + ;; +esac |