From df7f30a146377d57edfd5442cebad2bff34cbfd4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Peter=20M=C3=BCller?= Date: Mon, 23 Apr 2018 16:17:00 +0200 Subject: [PATCH] improve error message if make.sh is executed by non-root user MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Fixes #11706. Signed-off-by: Peter Müller Signed-off-by: Michael Tremer --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index 510fb2cc85..1f87386659 100755 --- a/make.sh +++ b/make.sh @@ -416,7 +416,7 @@ prepareenv() { # Checking if running as root user if [ $(id -u) -ne 0 ]; then - exiterror "Not building as root" + exiterror "root privileges required for building" fi # Checking for necessary temporary space -- 2.39.2