diff options
author | Paul Smith <psmith@gnu.org> | 2012-09-10 02:36:05 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2012-09-10 02:36:05 +0000 |
commit | fbe5b2c9cd612b962836b9391fa2b58c8baed6fc (patch) | |
tree | d68ac63b3992c85f9c80110bcc8a6d11ad4c47ca /remake.c | |
parent | a94b0b0ea58767eb204a1ebc8fb30b913d66a64c (diff) | |
download | gunmake-fbe5b2c9cd612b962836b9391fa2b58c8baed6fc.tar.gz |
Force intermediate targets to be considered if their non-intermediate
parent needs to be remade. Fixes Savannah bug #30653.
Diffstat (limited to 'remake.c')
-rw-r--r-- | remake.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -612,6 +612,10 @@ update_file_1 (struct file *file, unsigned int depth) d->file->dontcare = file->dontcare; } + /* We may have already considered this file, when we didn't know + we'd need to update it. Force update_file() to consider it and + not prune it. */ + d->file->considered = !considered; dep_status |= update_file (d->file, depth); |