From 80d1902a4cd5490a321a6668f1cd8d574dbd6fb1 Mon Sep 17 00:00:00 2001
From: Thomas Kreitler <kreitler@molgen.mpg.de>
Date: Tue, 12 Dec 2017 11:59:04 +0100
Subject: [PATCH] linux: Check for existing revision number

We do want our kernel revision numbers to be unique over all linux
kernel packages. Avoid conflicts by doing a quick check against
the available bee files.
---
 linux-4.14.4-192.bee | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/linux-4.14.4-192.bee b/linux-4.14.4-192.bee
index fc68c0aaa..22eed1683 100755
--- a/linux-4.14.4-192.bee
+++ b/linux-4.14.4-192.bee
@@ -23,6 +23,9 @@ FULLKERNELVERSION="${KERNELVERSION}${KERNELLOCAL}"
 
 B=${S}
 
+ls ${BEE_PKGDIR}/linux-[0-9].[0-9]*-${PKGREVISION}.x86_64.bee.* 2>/dev/null \
+    && echo "A kernel with revision ${PKGREVISION} has already been build."  && exit
+
 mee_patch() {
     echo "PATCH $@"
     bee_patch $@