Re: Fail to include files differ only by extension.

[Jürgen Spitzmüller]

Bo Peng wrote:
> The attached patch
> fixes the bug but I am not sure if this is the best solution.

Looks sensible.

Jürgen