re: Peculiar build failure

[matthew green <mrg%eterna.com.au@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?


please send-pr, and feel free to assign the bug to me.  thanks.


.mrg.