Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The problem was that paths in the cache are assumed to endwithout the path separator, but are added verbatim from the command line in several places. The solution here is to make sure that all prefixes are without path separator by cutting it off when it is passed to Cache.addPrefix. This way, the assumption is met.
- Loading branch information