From 8271a6e8db465b743410dbd58562e9659ebca496 Mon Sep 17 00:00:00 2001 From: WarmUpTill Date: Sat, 2 Mar 2024 16:11:18 +0100 Subject: [PATCH] CI: Don't attempt to rename files if not required --- .github/scripts/.package.zsh | 6 ++++-- .github/test | 0 2 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 .github/test diff --git a/.github/scripts/.package.zsh b/.github/scripts/.package.zsh index 1ea21863..e13c0402 100755 --- a/.github/scripts/.package.zsh +++ b/.github/scripts/.package.zsh @@ -258,8 +258,10 @@ ${_usage_host:-}" pushd ${project_root} cmake --build build_${target##*-} --config ${config} -t package ${cmake_args} - mv ${project_root}/release/*.deb ${project_root}/release/${output_name}.deb - mv ${project_root}/release/*.ddeb ${project_root}/release/${output_name}.ddeb + if [ ! -e ${project_root}/release/${output_name}.deb ]; then + mv ${project_root}/release/*.deb ${project_root}/release/${output_name}.deb + mv ${project_root}/release/*.ddeb ${project_root}/release/${output_name}.ddeb + fi popd } diff --git a/.github/test b/.github/test new file mode 100644 index 00000000..e69de29b