Fixes #5459: Update tools even if promises were not repaired

We want to update tools more often, than just when promises were generated