On Thu Oct 9 11:31:46 2014, maxim.yegorush...@gmail.com (Maxim Yegorushkin) wrote:
[...] > On both machines make-4.0 was build from sources. The machine where > make always succeeded runs Fedora 20, the other one runs CentOS-6.5. > > Strange... Indeed. Are the files by any chance on a remote filesystem such as NFS? -- Reinier _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make