Re: Peculiar build failure

> Making all in doc
> 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.
Doh! Of course. Touch done, test build now in progress.
If it would help, I could fairly easily put together an "incremental
touch" tool, that could generate mtimes in sequence so that a pipeline
like
find /usr/src -type f -print | shuffle -f - | $NEW_TOOL
could be used to randomize mtime orders; doing something like that
(preferably saving the order) on the nightly builds would probably
smoke out most such issues fairly quickly. Maybe it would best be done
as an option to touch(1)...two options, actually: one to take pathnames
from stdin and the other to subtract (or maybe add, but accepting
signed values) some interval to the timestamp for each file touched.
/~\ 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