Dealing with case insensitivity

[Tom Tromey]

>>>>> "Jim" == Jim Peters <jim@uazu.net> writes:

Jim> That means that the problem could be worked around by doing a
Jim> directory listing to check that the case is what we hoped it was.
Jim> This overhead would only need to be turned on for certain filesystems.
Jim> (Also, the directory listings could be cached).

I don't know whether this will work or not.  I think the problem is
that we don't really know much about the bug.  Nobody has debugged it
and then reported all the salient facts.  (There was a patch once, but
it was unsuitable for inclusion in the compiler, and as I recall came
without a full analysis of the bug.)

Tom