From 870e1ce5140251e84b6d172492bf3fd15e9ab4aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Qian=20Qian=20=22Cubik=22=E2=80=8E?= Date: Sat, 27 Jul 2024 13:27:20 -0400 Subject: [PATCH] ci: Update Build Step MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Qian Qian "Cubik"‎ --- .github/scripts/github_fetch_resources.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/scripts/github_fetch_resources.sh b/.github/scripts/github_fetch_resources.sh index 498f7c06..61986670 100755 --- a/.github/scripts/github_fetch_resources.sh +++ b/.github/scripts/github_fetch_resources.sh @@ -15,10 +15,12 @@ rm -rf "$_src_dir/out" || true mkdir -p "$_src_dir/out/Default" mkdir -p "$_download_cache" -"$_root_dir/retrieve_and_unpack_resource.sh" +"$_root_dir/retrieve_and_unpack_resource.sh" -g "$_main_repo/utils/prune_binaries.py" "$_src_dir" "$_main_repo/pruning.list" "$_main_repo/utils/patches.py" apply "$_src_dir" "$_main_repo/patches" "$_root_dir/patches" "$_main_repo/utils/domain_substitution.py" apply -r "$_main_repo/domain_regex.list" -f "$_main_repo/domain_substitution.list" "$_src_dir" +"$_root_dir/retrieve_and_unpack_resource.sh" -p + rm -rvf "$_download_cache"