#!/bin/sh

. /usr/share/grub/grub-mkconfig_lib

memtest=/boot/memtest86/memtest

if [ -f "${memtest}" ]; then
	device="$("${grub_probe}" --target=device "${memtest}")"
	path="$(make_system_path_relative_to_its_root "${memtest}")"
	cat <<EOF
menuentry "MemTest86" {
EOF
	prepare_grub_to_access_device "${device}" | grub_add_tab
	cat <<EOF
	linux16 "${path}"
}
EOF
fi