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 /glob | |
| 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 'glob')
0 files changed, 0 insertions, 0 deletions