Closed justinsb closed 4 days ago
/lgtm /approve
Thanks
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: yuwenma
The full list of commands accepted by this bot can be found here.
The pull request process is described here
This avoids requiring sudo every invocation of make.