Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix make tidy not to depend on ./bin path
We should not assume that ./bin exists as it is not part of the git repository but created dynamically.
- Loading branch information