From 2f5a368e6c71821563a050d38460227eaa97aa47 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Fri, 20 Oct 2023 15:20:23 +0200 Subject: [PATCH] fixup! Move toolchains in TOOLCHAINS --- .github/scripts/common.py | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index c0341e9..9b3afa3 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -281,6 +281,7 @@ def make_deps_archive(target=None, name=None, full=False): files_to_archive.append(base_dir / "meson_cross_file.txt") # Copy any toolchain files_to_archive += [TOOLCHAIN_DIR] + files_to_archive += HOME.glob("BUILD_neutral/TOOLCHAINS/*") if (BASE_DIR / "meson_cross_file.txt").exists(): files_to_archive.append(BASE_DIR / "meson_cross_file.txt")