Delete isolinux.bin.update

tools/isolinux.bin.update

@@ -1,42 +0,0 @@
-#!/bin/bash
-
-# This script will update the file ../bootfiles/isolinux.bin to match
-# your LiveKit name used in ../.config
-#
-# Requires: wget, tar, gzip, make, gcc, nasm, perl, glibc-devel, libuuid-devel (e2fsprogs)
-#
-# On minimal debian, you can get deps like this:
-# apt-get install make binutils gcc nasm uuid-dev
-
-set -e
-
-
-PKG=syslinux-4.06
-PKGTGZ=$PKG.tar.gz
-DL="http://www.kernel.org/pub/linux/utils/boot/syslinux/$PKGTGZ"
-
-. ../.config
-
-# download, unpack, and patch syslinux
-if [ ! -d $PKG ]; then
-	rm -rf $PKG
-	wget --no-check-certificate -c "$DL"
-	tar -xf $PKGTGZ
-fi
-
-cd $PKG
-
-sed -i -r "s:/boot/syslinux:/$LIVEKITNAME/boot:" core/fs/iso9660/iso9660.c
-sed -i -r "s:/boot/syslinux:/$LIVEKITNAME/boot:" core/fs/lib/loadconfig.c
-
-make \
-	${CC:+CC="$CC"}
-
-cp -p core/isolinux.bin ../../bootfiles/isolinux.bin
-
-echo
-echo "Copying isolinux.bin to $(realpath ../../bootfiles/isolinux.bin)"
-
-cd ..
-rm -Rf $PKG
-rm -f $PKGTGZ