Re: address@hidden: compile/grep: When directory tracking is used then next-error fails to go to the correct file when the basename was seen before.]

[Stefan Monnier]

>> If we think it is incorrect to retrieve an entry that is filed
>> under just the filename, should we also delete the code that makes
>> such an entry?  Under what circumstances would we want such an
>> entry to exist and be retrieved?

>     I'm afraid I don't know. I've installed the minimum change I believe
>     fixes the bug.

> Stefan, can you study that issue?
> It looks like you originally wrote this.

Doesn't ring a bell, but I'll take a look,


        Stefan