diff options
Diffstat (limited to 'backends/platform/dc/check_plugin_symbols')
| -rwxr-xr-x | backends/platform/dc/check_plugin_symbols | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/backends/platform/dc/check_plugin_symbols b/backends/platform/dc/check_plugin_symbols new file mode 100755 index 0000000000..7dd9d68971 --- /dev/null +++ b/backends/platform/dc/check_plugin_symbols @@ -0,0 +1,15 @@ +#! /bin/sh +case "$0" in + */*) dir=`dirname "$0"`/;; + *) dir="";; +esac +exec < "$dir"plugin.syms +while read sym; do + if sh-elf-nm "$1" | grep >/dev/null " $sym"'$'; then + : + else + echo >&2 "ERROR: Symbol $sym missing from $1" + exit 1 + fi +done +exit 0 |