1
Fork 0

Use RealFileName for Session::working_dir as it may also be remapped

This commit is contained in:
Andy Wang 2021-04-10 13:48:06 +01:00 committed by Andy Wang
parent 9e0426d784
commit 0407919083
No known key found for this signature in database
GPG key ID: 181B49F9F38F3374
6 changed files with 15 additions and 11 deletions

View file

@ -26,7 +26,7 @@ impl<'a> SpanUtils<'a> {
.display()
.to_string()
} else {
self.sess.working_dir.0.join(&path).display().to_string()
self.sess.working_dir.stable_name().join(&path).display().to_string()
}
}
// If the file name was remapped, we assume the user