Closed brakhane closed 1 year ago
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
@kba @stweil : Can you have a look at this?
Make would delete the xxx_checkpoint file when being interrupted, to prevent that, a .PRECIOUS rule was added, but the old one didn't prevent deletion if the xxx_checkpoint file didn't exist at the time of the make invocation, because wildcards are resolved at the start.
The other checkpoint files would never get removed by make anyway, since they are not listed as targets.
Therefore, replace the wildcard rule with $(LAST_CHECKPOINT).