Details
-
Bug
-
Status: Resolved
-
Minor
-
Resolution: Fixed
-
None
Description
The script skips the make tools if the tools folder is existent. That is a bit weird that we don't check all tools in the folder. The script should call make tools anyway, and let make tools do the check and install. remove the conditional(or the install_tools function, and use make tools).
Attachments
Issue Links
- links to