Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Makefile.inc1: Run distrib-cleanup for worldtmp under I_REALLY_MEAN_N…
…O_CLEAN Normally delete-old-files will handle this as part of _cleanworldtmp, but if we're skipping that then we need to handle the few edge cases that distrib-cleanup is there for. Fixes: 9ccc906 ("Update CHERI libc++ to LLVM17")
- Loading branch information