Re: Peculiar build failure

[der Mouse <mouse%Rodents-Montreal.ORG@localhost>]

>>> rm: /usr/src.401/tools/gmake/../../gnu/dist/gmake/doc/make.info: Permission 
>>> denied
>>> rm: /usr/src.401/tools/gmake/../../gnu/dist/gmake/doc/make.info-1: 
>>> Permission denied
>> this looks like a timestamp issue we've not seen yet.
> Touch done, test build now in progress.

The test build failed again, with a similar error on 
/usr/src.401/gnu/usr.bin/binutils/ld/../../../dist/binutils/ld/configdoc.texi.
I touched that one too and the test build completed successfully.

Should I send-pr these, or are you on it, or what?

/~\ The ASCII                             Mouse
\ / Ribbon Campaign
 X  Against HTML                mouse%rodents-montreal.org@localhost
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B