From 0a2547e8e0469e69035eed1200cbc2335a16872d Mon Sep 17 00:00:00 2001
From: zador-blood-stained <zador-blood-stained@users.noreply.github.com>
Date: Thu, 27 Jul 2017 19:02:46 +0300
Subject: [PATCH] Rename linux-vanilla directory to linux-mainline

---
 lib/configuration.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/configuration.sh b/lib/configuration.sh
index 9fd824c719..3d5d22e04f 100644
--- a/lib/configuration.sh
+++ b/lib/configuration.sh
@@ -41,7 +41,7 @@ else
 fi
 
 MAINLINE_KERNEL_BRANCH='branch:linux-4.12.y'
-MAINLINE_KERNEL_DIR='linux-vanilla'
+MAINLINE_KERNEL_DIR='linux-mainline'
 
 if [[ $USE_GITHUB_UBOOT_MIRROR == yes ]]; then
 	MAINLINE_UBOOT_SOURCE='https://github.com/RobertCNelson/u-boot'