also strip .git from repo name to determine the flavour name

diff --git a/kernel_inpbuilder.py b/kernel_inpbuilder.py
index 2774d36b5284a7b1aa6c9aeb323e78aedd5b755a..757e43c8f2abe6c0536d944c0efa280c2bb6b693 100644 (file)
--- a/kernel_inpbuilder.py
+++ b/kernel_inpbuilder.py
@@ -253,7 +253,8 @@ def create_file(path,data):
         raise
 
 def determine_kernel_flavour():
-    flavour = GIT_REPO_NAME[6:]
+    # strip the first 6 characters ("linux-") and the last 4 (".git")
+    flavour = GIT_REPO_NAME[6:-4]
 
     # slightly different version numbers per branch
     if GIT_BRANCH_NAME == 'master' or GIT_BRANCH_NAME.startswith('hotfix'):