From 2e86495e80053f9ad2f513d7d05960b4bea132d0 Mon Sep 17 00:00:00 2001 From: abejgonzalez Date: Mon, 25 Oct 2021 22:30:22 -0700 Subject: [PATCH] Force removal of toolchain files after build --- .github/scripts/build-toolchains.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/scripts/build-toolchains.sh b/.github/scripts/build-toolchains.sh index cd1abb1d..1f23c408 100755 --- a/.github/scripts/build-toolchains.sh +++ b/.github/scripts/build-toolchains.sh @@ -16,6 +16,6 @@ if [ ! -d "$HOME/$1-install" ]; then # init all submodules including the tools CHIPYARD_DIR="$LOCAL_CHIPYARD_DIR" NPROC=$CI_MAKE_NPROC $LOCAL_CHIPYARD_DIR/scripts/build-toolchains.sh $1 - # de-init the toolchain area to save on space - git submodule deinit $LOCAL_CHIPYARD_DIR/toolchains/$1 + # de-init the toolchain area to save on space (forced to ignore local changes) + git submodule deinit --force $LOCAL_CHIPYARD_DIR/toolchains/$1 fi