mirror of
https://git.savannah.gnu.org/git/make.git
synced 2025-02-07 06:47:52 +00:00
(notice_finished_file): Set FILE->update_status to zero if it's -1.
This commit is contained in:
parent
226a132e31
commit
07a45cd0af
1 changed files with 7 additions and 1 deletions
8
remake.c
8
remake.c
|
@ -593,7 +593,9 @@ update_file_1 (file, depth)
|
||||||
|
|
||||||
/* Set FILE's `updated' flag and re-check its mtime and the mtime's of all
|
/* Set FILE's `updated' flag and re-check its mtime and the mtime's of all
|
||||||
files listed in its `also_make' member. Under -t, this function also
|
files listed in its `also_make' member. Under -t, this function also
|
||||||
touches FILE. */
|
touches FILE.
|
||||||
|
|
||||||
|
On return, FILE->update_status will no longer be -1 if it was. */
|
||||||
|
|
||||||
void
|
void
|
||||||
notice_finished_file (file)
|
notice_finished_file (file)
|
||||||
|
@ -668,6 +670,10 @@ notice_finished_file (file)
|
||||||
never be done because the target is already updated. */
|
never be done because the target is already updated. */
|
||||||
(void) f_mtime (d->file, 0);
|
(void) f_mtime (d->file, 0);
|
||||||
}
|
}
|
||||||
|
else if (file->update_status == -1)
|
||||||
|
/* Nothing was done for FILE, but it needed nothing done.
|
||||||
|
So mark it now as "succeeded". */
|
||||||
|
file->update_status = 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Check whether another file (whose mtime is THIS_MTIME)
|
/* Check whether another file (whose mtime is THIS_MTIME)
|
||||||
|
|
Loading…
Reference in a new issue