summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@redhat.com>1992-04-14 02:12:51 +0000
committerRoland McGrath <roland@redhat.com>1992-04-14 02:12:51 +0000
commit71956239ac00f0dd354b58e19fe8c95fb9207513 (patch)
treef845d8a187787b388a77264722a1fa7e9455c26a
parent123c2494c3f4847fa83c533dc5ffd9e58bb358f5 (diff)
downloadgunmake-71956239ac00f0dd354b58e19fe8c95fb9207513.tar.gz
Formerly remake.c.~25~
-rw-r--r--remake.c11
1 files changed, 7 insertions, 4 deletions
diff --git a/remake.c b/remake.c
index ddf4f4a..a4dff6f 100644
--- a/remake.c
+++ b/remake.c
@@ -558,10 +558,13 @@ notice_finished_file (file)
d->file->command_state = cs_finished;
d->file->updated = 1;
d->file->update_status = file->update_status;
- if (just_print_flag || question_flag)
- d->file->last_mtime = file->last_mtime;
- else
- d->file->last_mtime = 0;
+
+ if (!d->file->phony)
+ /* Fetch the new modification time.
+ 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);
}
}