#!/bin/sh

set -eu

# http://bugs.debian.org/682957
for file in binary/isolinux/live.cfg binary/syslinux/live.cfg tftpboot/live.cfg; do
	if ! test -f "$file"; then
		continue;
	fi
	sed -i -e '/menu default/d' "$file"
done