Searched refs:makefile_mtimes (Results 1 – 2 of 2) sorted by relevance
1810 FILE_TIMESTAMP *makefile_mtimes = 0; in main() local1863 makefile_mtimes = (FILE_TIMESTAMP *) in main()1864 xrealloc ((char *) makefile_mtimes, in main()1866 makefile_mtimes[mm_idx++] = file_mtime_no_search (d->file); in main()1917 != makefile_mtimes[i]); in main()1928 && mtime != makefile_mtimes[i]); in main()2117 if (makefile_mtimes) in main()2118 free ((char *) makefile_mtimes); in main()
1350 * main.c (main): Free makefile_mtimes if we have any.