Description
Running make tools doesn't install the current specified tools in the makefile.
A directory tools previously added and the make tool just verified its existence.
{{ message }}
No projects
No milestone
None yet
No branches or pull requests