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 $@