Closed SgtCoDFish closed 1 year ago
Follow up to #192
/approve /lgtm
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: inteon
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Make won't update files when a variable changes unless that variable is somehow included as a dependency for a target or in the path of the name of the target.
This commit adds versions to the paths of all tools we depend on, so that when one user bumps version numbers, everyone else won't need to run
make clean
.