Merged.

On Mon, 2018-04-23 at 16:17 +0200, Peter Müller wrote:
> Fixes #11706.
> 
> Signed-off-by: Peter Müller <peter.mueller(a)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