mirrors/make
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/make.git synced 2024-12-28 15:57:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Formerly commands.c.~19~

Browse source
This commit is contained in:
Roland McGrath 1993-09-17 04:46:36 +00:00
parent ec2751c045
commit 9fc36f7358
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
commands.c
View file

@ -409,8 +409,8 @@ delete_child_targets (child)
if (child->deleted)
return;
/* Delete the file unless it's precious. */
if (!child->file->precious
/* Delete the file unless it's precious or not actually a file (phony). */
if (!child->file->precious && !child->file->phony
&& stat (child->file->name, &st) == 0
&& S_ISREG (st.st_mode)
&& (time_t) st.st_mtime != child->file->last_mtime)
@ -423,7 +423,7 @@ delete_child_targets (child)
/* Also remove any non-precious targets listed
in the `also_make' member. */
for (d = child->file->also_make; d != 0; d = d->next)
if (!d->file->precious)
if (!d->file->precious && !d->file->phony)
if (stat (d->file->name, &st) == 0
&& S_ISREG (st.st_mode)
&& (time_t) st.st_mtime != d->file->last_mtime)