On May 3, 2007, at 5:04 PM, Andreas Pakulat wrote: > Hi, > > the attached patch fixes Bug number 144947, a subtle bug in the new > custom makefile manager code I wrote for blacklisting files. The > change > doesn't add directories in case a file with the same directory > prefix is > already in the list of source files. > > Andreas > Looks fine. Please commit -- Matt