On May 25, 2012, at 17:17 , Michael Matz wrote: >> This should have been fixed by rev 187839 ... > Super, yes, that works.
Great :) > Though I still wonder if the whole copy-over-to-gcc business shouldn't be > dependend on anything newly built. I can't see the use in copying > over the same unchanged files to a place where they already are. > And generally installing with -p also can't hurt, can it? I suppose not but don't know the full story here.
