Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Chect what remains in TMPDIR"
This reverts commit 7bdb999. I think I confirmed the mechanism. GCC (invoked by MJIT) creates a temporary file in TMPDIR, which prevents rm_rf from removing the directory.
- Loading branch information