From 7b5a0e9e09eaefbfe3cd980c53e5742569d41566 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Igor=20Pe=C4=8Dovnik?= <igor.pecovnik@gmail.com>
Date: Wed, 9 Dec 2015 14:53:00 +0100
Subject: [PATCH] Missing [ ]

---
 main.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.sh b/main.sh
index f760a54749..f6ae0feb1c 100644
--- a/main.sh
+++ b/main.sh
@@ -261,7 +261,7 @@
 	# Some old branches are tagged
 	#if [ "$BRANCH" == "default" ]; then	KERNELTAG="$LINUXBRANCH"; fi
 
-	[ "$CLEAN_LEVEL" == "4" ] && cleaning "$CLEAN_LEVEL"
+	[[ "$CLEAN_LEVEL" == "4" ]] && cleaning "$CLEAN_LEVEL"
 	
 	display_alert "source downloading" "@host" "info"
 	fetch_from_github "$BOOTLOADER" "$BOOTSOURCE" "$BOOTBRANCH" "yes"
@@ -289,7 +289,7 @@
 	HEADERS_CACHE="${CHOOSEN_KERNEL/image/cache}"
 
 	# cleaning level 0,1,2,3
-	[ "$CLEAN_LEVEL" != "4" ] && cleaning "$CLEAN_LEVEL"	
+	[[ "$CLEAN_LEVEL" != "4" ]] && cleaning "$CLEAN_LEVEL"	
 
 	# patching sources
 	patching_sources