diff options
Diffstat (limited to 'prepare-release')
| -rwxr-xr-x | prepare-release | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/prepare-release b/prepare-release index 18fd3af94..77d8580d9 100755 --- a/prepare-release +++ b/prepare-release @@ -127,7 +127,14 @@ elif [ "$1" = 'post-build' ]; then elif [ "$1" = 'library' ]; then librarysymbols() { + local libname=$(echo "${1}" | cut -c 4-) local buildlib="build/bin/${1}.so.${2}" + for dir in $libname */$libname; do + local new_buildlib="$dir/${1}.so.${2}" + if [ -r "${new_buildlib}" ] && [ ! -e "$buildlib" -o "$new_buildlib" -nt "$buildlib" ]; then + local buildlib="${new_buildlib}" + fi + done if [ ! -r "$buildlib" ]; then echo "ERROR: The library ${1} has to be built before symbols can be checked!" return |