diff --git a/general.sh b/general.sh index 24f6656b50..127e3dfa0e 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 06bdedbb09..f760a54749 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