diff options
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/strip_nonapi | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/build_tools/strip_nonapi b/build_tools/strip_nonapi new file mode 100755 index 000000000..99d21f666 --- /dev/null +++ b/build_tools/strip_nonapi @@ -0,0 +1,28 @@ +#!/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_ + +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} + rm -f striplist + ;; + *) + ;; +esac |