diff options
Diffstat (limited to 'grub.conf')
-rw-r--r-- | grub.conf | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/grub.conf b/grub.conf index 4fb2ebb75f6f..62487f169a4a 100644 --- a/grub.conf +++ b/grub.conf @@ -1,5 +1,7 @@ -cat << EOF -if [ "x${grub_platform}" = xefi ]; then +#!/bin/sh + +cat <<EOF +if [ "\$grub_platform" = "efi" ]; then menuentry "Memtest86" { search --set=root --no-floppy --fs-uuid @UUID@ chainloader /EFI/memtest86/memtest@ARCH@.efi |