diff options
author | Marc Kleine-Budde <mkl@pengutronix.de> | 2010-08-18 12:26:31 +0200 |
---|---|---|
committer | Marc Kleine-Budde <mkl@pengutronix.de> | 2010-08-18 12:26:31 +0200 |
commit | 4380e20bb9141b3817c9133a8a67ba4521ec7f2f (patch) | |
tree | 9aec75d1c7c308b395f8abcf94c63aef9ab18e29 | |
parent | c3afbb2f8a0f652cc494445a9dacaebb17abdd60 (diff) | |
download | ptxdist-4380e20bb9141b3817c9133a8a67ba4521ec7f2f.tar.gz ptxdist-4380e20bb9141b3817c9133a8a67ba4521ec7f2f.tar.xz |
[ptxd_make_xpkg_pkg] install_lib: print helpfull error message
...in case the library cannot be found.
Reported-by: Ryan M. Raasch <ryan.raasch@gmail.com>
Signed-off-by: Marc Kleine-Budde <mkl@pengutronix.de>
-rw-r--r-- | scripts/lib/ptxd_make_xpkg_pkg.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_make_xpkg_pkg.sh b/scripts/lib/ptxd_make_xpkg_pkg.sh index 5d405246a..84b099246 100644 --- a/scripts/lib/ptxd_make_xpkg_pkg.sh +++ b/scripts/lib/ptxd_make_xpkg_pkg.sh @@ -531,7 +531,10 @@ ptxd_install_lib() { local file="$(for dir in "${pkg_pkg_dir}/"{,usr/}lib; do find "${dir}" -type f -name "${lib}.so*"; done 2>/dev/null)" - [ -f "${file}" ] && + + if [ ! -f "${file}" ]; then + ptxd_install_error "ptxd_lib_install: cannot find library '${lib}'!" + fi local dst="$(dirname "${file#${pkg_pkg_dir}}")" && ptxd_install_shared "${file}" "${dst}" "${@}" || |