From 4e83aeb2fedb01347d5d236fb6567a3b585d639e Mon Sep 17 00:00:00 2001
From: Marco Vermeulen <vermeulen.mp@gmail.com>
Date: Fri, 28 Oct 2016 15:02:28 +0100
Subject: [PATCH] Make sdkman_debug_mode configurable.

---
 src/main/bash/sdkman-utils.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/bash/sdkman-utils.sh b/src/main/bash/sdkman-utils.sh
index d7ff11c0..bda75a00 100644
--- a/src/main/bash/sdkman-utils.sh
+++ b/src/main/bash/sdkman-utils.sh
@@ -17,7 +17,7 @@
 #
 
 function __sdkman_echo_debug {
-	if [[ "$SDKMAN_DEBUG_MODE" == 'true' ]]; then
+	if [[ "$sdkman_debug_mode" == 'true' ]]; then
 		echo "$1"
 	fi
 }