diff --git a/scripts/release_dist.sh b/scripts/release_dist.sh index 089a4e94b..995ccc722 100755 --- a/scripts/release_dist.sh +++ b/scripts/release_dist.sh @@ -23,7 +23,11 @@ work_dir="${tmp_dir}/release" git clone --branch "${TARGET_BRANCH}" --single-branch "${RELEASE_REPO_URL}" "${work_dir}" >/dev/null find "${work_dir}" -mindepth 1 -maxdepth 1 ! -name '.git' -exec rm -rf {} + -rsync -a "${DIST_DIR}/" "${work_dir}/" +if command -v rsync >/dev/null 2>&1; then + rsync -a "${DIST_DIR}/" "${work_dir}/" +else + cp -a "${DIST_DIR}/." "${work_dir}/" +fi cd "${work_dir}" git add -A