diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-01 16:03:03 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-01 15:51:51 +0200 |
commit | fa6beb8cfcabd58273f15e03f781016ac610e788 (patch) | |
tree | 337a7833adbd6459c26fc9899849afb9983261b9 | |
parent | 4c573e57184314c6dace54f7cd04786d1a99c940 (diff) |
ci: Clear unused /msan/llvm-project
-rwxr-xr-x | ci/test/01_base_install.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/test/01_base_install.sh b/ci/test/01_base_install.sh index f16321ba55..bb99fc30e9 100755 --- a/ci/test/01_base_install.sh +++ b/ci/test/01_base_install.sh @@ -65,6 +65,10 @@ if [[ ${USE_MEMORY_SANITIZER} == "true" ]]; then -S /msan/llvm-project/runtimes ninja -C /msan/cxx_build/ "-j$( nproc )" # Use nproc, because MAKEJOBS is the default in docker image builds + + # Clear no longer needed source folder + du -sh /msan/llvm-project + rm -rf /msan/llvm-project fi if [[ "${RUN_TIDY}" == "true" ]]; then |