From 4ad4ba33d627afbc9287de793ae58fb32b2dbc8c 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:39:41 +0100
Subject: [PATCH] Tiny fixes

---
 general.sh | 2 +-
 main.sh    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/general.sh b/general.sh
index 24f6656b5..127e3dfa0 100644
--- a/general.sh
+++ b/general.sh
@@ -174,7 +174,7 @@ grab_version ()
 		tmp=$(cat $1/Makefile | grep $dir | head -1 | awk '{print $(NF)}' | cut -d '=' -f 2)"#"
 		[[ $tmp != "#" ]] && VER=$VER"$tmp"
 	done
-	VER=${VER//#/.}; VER=${VER%.}; VER="v"${VER//.-/-}
+	VER=${VER//#/.}; VER=${VER%.}; VER=${VER//.-/-}
 }
 
 
diff --git a/main.sh b/main.sh
index 06bdedbb0..f760a5474 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