From c935c1c81ffdbfde8576f3752b14c240fdcba2bd Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 23 Nov 2017 12:53:45 +0000 Subject: [PATCH] make.sh: Fix typo Signed-off-by: Michael Tremer --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index b20e7073d4..1a4064072e 100755 --- a/make.sh +++ b/make.sh @@ -428,7 +428,7 @@ exiterror() { prepareenv() { # Are we running the right shell? - if [ ! -z "${BASH}" ]; then + if [ -z "${BASH}" ]; then exiterror "BASH environment variable is not set. You're probably running the wrong shell." fi -- 2.39.5