From 26657e1db05086a41390d322bd69d779a284a9a3 Mon Sep 17 00:00:00 2001 From: Michal Suchanek Date: Sun, 8 Jun 2014 09:38:03 +0200 Subject: [PATCH] Make linux optional as all other configs. Might be useful if using extlinux as secondary bootloader or when Xen support is added. Signed-off-by: Michal Suchanek --- debian/local/extlinux.d/0010-linux | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/debian/local/extlinux.d/0010-linux b/debian/local/extlinux.d/0010-linux index 803b10bb..90c39aea 100755 --- a/debian/local/extlinux.d/0010-linux +++ b/debian/local/extlinux.d/0010-linux @@ -11,6 +11,12 @@ set -e . /usr/share/extlinux/extlinux-update.sh +if [ "${EXTLINUX_LINUX}" != "true" ] +then + echo "I: linux disabled in /etc/default/extlinux: Skipping ${_EXTLINUX_DIRECTORY}/linux.cfg" + exit 0 +fi + if ! ls /boot/vmlinuz* 2>&1 then echo "I: /boot/vmlinuz* - No such files: Skipping ${_EXTLINUX_DIRECTORY}/linux.cfg" -- 2.11.4.GIT