diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/dist_minipix.dist | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/dist/dist_minipix.dist b/dist/dist_minipix.dist index 85775114..17d96271 100644 --- a/dist/dist_minipix.dist +++ b/dist/dist_minipix.dist @@ -34,8 +34,10 @@ pkg_dist_minipix_all() { libssl.so.48 libtasn1.so.6 libtinfo.so.6 libtinfo.so \ libtinfow.so.6 libu16ports.so.0 libunistring.so.2 libuuid.so.1 \ libz.so.1; do - if [ -e "${PREFIX_NATIVE}/lib/${_fname}" ]\ - && rtl_is_newer "${PREFIX_NATIVE}/lib/${_fname}" "${PREFIX_MINIPIX}/bin/${_fname}"\ + if [ ! -e "${PREFIX_NATIVE}/lib/${_fname}" ]; then + rtl_log_msg fatal "Error: shared object \`%s' non-existent on copy." "${PREFIX_NATIVE}/lib/${_fname}"; + return 1; + elif rtl_is_newer "${PREFIX_NATIVE}/lib/${_fname}" "${PREFIX_MINIPIX}/bin/${_fname}"\ && ! rtl_fileop cp_follow "${PREFIX_NATIVE}/lib/${_fname}" "${PREFIX_MINIPIX}/bin"; then return 1; fi; |