https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91139
--- Comment #2 from Daniel Richard G. <skunk at iskunk dot org> --- (In reply to Richard Biener from comment #1) > Maybe your NFS servers time is different from the local build ones so make > gets confused as to what is new? That said, I've never seen Bug-1 but I also > do not build with source on NFS. For confirmation, I attempted a bootstrap with the source tree on local disk. It appears that doc/gcc.info continues to be regenerated in the same manner. (If NFS timestamp shenanigans were at issue, I'd have expected to see much more widespread breakage)
