From 9fc36f735856db7655e10036fab7b8090d65d271 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Fri, 17 Sep 1993 04:46:36 +0000 Subject: Formerly commands.c.~19~ --- commands.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'commands.c') diff --git a/commands.c b/commands.c index 1cfe0cf..cd71178 100644 --- a/commands.c +++ b/commands.c @@ -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) -- cgit v1.2.3