From 81f09dc8dbcd10b9b3c31db0b813c92a06ae5bd3 Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Mon, 13 Nov 2017 15:53:43 +0100
Subject: [PATCH] linux: Remove version 4.13.12

Linux 4.14 was released, so Linux 4.13.12 is not interesting to us
anymore.
---
 linux-4.13.12-188.bee | 79 -------------------------------------------
 1 file changed, 79 deletions(-)
 delete mode 100755 linux-4.13.12-188.bee

diff --git a/linux-4.13.12-188.bee b/linux-4.13.12-188.bee
deleted file mode 100755
index fc68c0aaa..000000000
--- a/linux-4.13.12-188.bee
+++ /dev/null
@@ -1,79 +0,0 @@
-#!/bin/env beesh
-
-# note: CONFIG=/boot/config-WHATEVER BEE_MAKEFLAGS='-j 40' ./linux-xxx.bee
-
-KERNELVERSION=${PKGVERSION}
-if [ -z "${PKGVERSION[3]}" ] ; then
-    KERNELVERSION=${KERNELVERSION}.0
-fi
-
-# append extra version to get for example 4.8.0-rc4
-KERNELVERSION=${KERNELVERSION}${PKGEXTRAVERSION_DASH}
-
-echo $KERNELVERSION
-
-SRCURL[0]="https://cdn.kernel.org/pub/linux/kernel/v${PKGVERSION[1]}.x/linux-${PKGVERSION}${PKGEXTRAVERSION_DASH}.tar.xz"
-
-# EXCLUDE=""
-
-#CONFIG=
-
-KERNELLOCAL=".mx64.${PKGREVISION}"
-FULLKERNELVERSION="${KERNELVERSION}${KERNELLOCAL}"
-
-B=${S}
-
-mee_patch() {
-    echo "PATCH $@"
-    bee_patch $@
-}
-
-mee_configure() {
-    echo "configure $@"
-    if [ -e /proc/config.gz ] ; then
-         zcat /proc/config.gz >config-current
-         RUNNING=config-current
-    else
-         RUNNING=/boot/config-$(uname -r)
-    fi
-
-    : ${CONFIG:=${RUNNING}}
-
-    if [ ! -e ${CONFIG} ] ; then
-        echo "can't find config '${CONFIG}'"
-        exit 1
-    fi
-
-    cp -v ${CONFIG} .config
-
-    LOCALVERSION="\"${KERNELLOCAL}\""
-    sed -i -e "s@CONFIG_LOCALVERSION=.*@CONFIG_LOCALVERSION=${LOCALVERSION}@" .config
-
-    echo "doing make -C ${S} olddefconfig in ${PWD} .."
-
-    make olddefconfig
-
-    echo "doing make -C ${S} menuconfig in ${PWD} .."
-
-    make menuconfig
-}
-
-mee_build() {
-    echo "build $@"
-    make ${BEE_MAKEFLAGS}
-}
-
-mee_install() {
-    echo "install $@"
-
-    make modules_install  INSTALL_MOD_PATH=${D}
-    make install          INSTALL_PATH=${D}/boot
-#    make firmware_install INSTALL_MOD_PATH=${D}
-
-    rm -v ${D}/lib/modules/${FULLKERNELVERSION}/{source,build}
-
-    ln -sv /usr/src/linux/${PKGALLPKG}/source ${D}/lib/modules/${FULLKERNELVERSION}/source
-    ln -sv /usr/src/linux/${PKGALLPKG}/build  ${D}/lib/modules/${FULLKERNELVERSION}/build
-
-    ln -sv bzImage-${FULLKERNELVERSION} ${D}/boot/mariux.${PKGREVISION}
-}