diff --git a/scripts/deliver.sh b/scripts/deliver.sh index 58aaa8d8..844a20de 100755 --- a/scripts/deliver.sh +++ b/scripts/deliver.sh @@ -47,6 +47,18 @@ fi echo ${DEST_DIR} pushd "${DIST_DIR}" +if [ ! -f "./${PROJECT_OUT_FILE}" ]; then + error_exit "failed to find file: ${PROJECT_OUT_FILE}" 1 +fi + +if [ ! -f "./${PROJECT_OUT_FILE}.sha256" ]; then + error_exit "failed to find file: ${PROJECT_OUT_FILE}.sha256" 1 +fi + +if [ "${PROJECT_PRIVATE_KEY}" != "" ] && [ ! -f "./${PROJECT_OUT_FILE}.sig" ]; then + error_exit "failed to find file: ${PROJECT_OUT_FILE}.sig" 1 +fi + cp -f ./${PROJECT_OUT_FILE} ${DEST_DIR} || error_exit "failed to deliver file: ${PROJECT_OUT_FILE}" 1 cp -f ./${PROJECT_OUT_FILE}.sha256 ${DEST_DIR} || error_exit "failed to deliver file: ${PROJECT_OUT_FILE}.sha256" 1 if [ "${PROJECT_PRIVATE_KEY}" != "" ]; then