Browse Source
We should not encourage people to call "sudo make". Let's drop that recommendation in case of permission errors. Signed-off-by: Christoph Müllner <christoph.muellner@vrull.eu>pull/1134/head
1 changed files with 3 additions and 3 deletions
Loading…
Reference in new issue