Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #336 from wenhui-xie/add_sudo
Add sudo to move coverage folder created by root user.
- Loading branch information