Use sudo
for make benchmark
if current user is not root
#589
This job was skipped
Loading
sudo
for make benchmark
if current user is not root
#589