diff options
Diffstat (limited to 'dist/dist_zipdist.dist')
| -rw-r--r-- | dist/dist_zipdist.dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/dist_zipdist.dist b/dist/dist_zipdist.dist index 571dc0ce..eda7997c 100644 --- a/dist/dist_zipdist.dist +++ b/dist/dist_zipdist.dist @@ -8,7 +8,7 @@ pkg_dist_zipdist_all() { echo "msg_pkg dist dist_zipdist Building deployable distribution ZIP archive..." >&3; rtl_log_msg info "Finished building deployable distribution ZIP archive."; for _pkg_name in $(cat "${_pkglist_fname}"); do - if ! stat "${BUILD_WORKDIR}/${_pkg_name}-native-${DEFAULT_TARGET}" >/dev/null 2>&1; then + if [ ! -e "${BUILD_WORKDIR}/${_pkg_name}-native-${DEFAULT_TARGET}" ]; then rtl_log_msg failexit "Error: missing package build directory for package \`${_pkg_name}'."; fi; done; |