mirror of
https://github.com/mirror/make.git
synced 2025-03-29 05:20:28 +08:00
Formerly remake.c.~25~
This commit is contained in:
parent
123c2494c3
commit
71956239ac
11
remake.c
11
remake.c
@ -558,10 +558,13 @@ notice_finished_file (file)
|
|||||||
d->file->command_state = cs_finished;
|
d->file->command_state = cs_finished;
|
||||||
d->file->updated = 1;
|
d->file->updated = 1;
|
||||||
d->file->update_status = file->update_status;
|
d->file->update_status = file->update_status;
|
||||||
if (just_print_flag || question_flag)
|
|
||||||
d->file->last_mtime = file->last_mtime;
|
if (!d->file->phony)
|
||||||
else
|
/* Fetch the new modification time.
|
||||||
d->file->last_mtime = 0;
|
We do this instead of just invalidating the cached time
|
||||||
|
so that a vpath_search can happen. Otherwise, it would
|
||||||
|
never be done because the target is already updated. */
|
||||||
|
(void) file_mtime (d->file);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user