diff options
Diffstat (limited to 'ci/test/01_base_install.sh')
| -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 |