Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check if tools tree exists before statting it in cache_manifest()
The tools tree might have been removed because it's cache was out of date so let's make sure we check it exists in cache_manifest().
- Loading branch information