#!/bin/bash
set -e

if test -e /boot/memtest86.bin ; then
  echo "Found memtest86 image: /boot/memtest86.bin" >&2
  cat << EOF
menuentry "Memory test (memtest86)" {
	linux	${GRUB_DRIVE_BOOT}/memtest86.bin
}
EOF
fi
