On Thursday 09 April 2009 13:17, lostgallifreyan wrote: > KHMan <keinh...@gmail.com> wrote: > (09/04/2009 12:03) > > >At the end of the day, AFAIK the decision to pick patches for the > >main trunk still lies with grischka. So why don't lostgallifreyan > >push a suitable patch to the mob branch, or post it on this list. > >It may go in, or it may not go in, but at least those who need > >such a patch can presumably find it while searching. > > Works for me. Once I do it in a way that works as I want, I'll post it > here. Like I said though, I won't be pushing for anything, I'll just make > it available.
Perhaps you can put it under a command line option, like --ignore-filename-case or something. This might increase the chance of your patch getting accepted in the main tree. The default should be sane IMHO, which means case sensitive. --Ivo _______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/tinycc-devel