Merged.

On Mon, 2018-04-23 at 16:17 +0200, Peter Müller wrote:

Fixes #11706.

Signed-off-by: Peter Müller peter.mueller@link38.eu

make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make.sh b/make.sh index c03e464b5..252183cc8 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