From 7b7c40978bf5465c92d6655acfbe41521f1d0a9b Mon Sep 17 00:00:00 2001
From: tkl <tkl@blackfinn.de>
Date: Tue, 23 Aug 2016 09:53:40 +0200
Subject: [PATCH] add build number to release file name

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e6ad827..fa09158 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ OS_NAME := kosmos
 
 # version numbering deployed by ci deploy script - no necessary for local build
 ifdef SW_KERNEL
-VERSION := -$(SW_KERNEL).$(SW_MAJOR).$(SW_MINOR)
+VERSION := -$(SW_KERNEL).$(SW_MAJOR).$(SW_MINOR).$(CI_BUILD_ID)
 else
 VERSION :=
 endif