
16 Jun
2014
16 Jun
'14
9:54 a.m.
On 2014-06-16 15:29, Brandon Allbery wrote:
On Mon, Jun 16, 2014 at 7:15 AM, Frerich Raabe
wrote: There is no file named 'AUX' though, and "Aux.hs" is a valid filename.
You do know that Windows filenames are not case sensitive?
Sure, but I thought the extension distinguishes the file name. Note that "Aux.hs" is what's given in the original error message. However, according to Niklas Larsson, "The extension wasn't really part of the filename in those days." so I guess I stand corrected. -- Frerich Raabe - raabe@froglogic.com www.froglogic.com - Multi-Platform GUI Testing