diff options
Diffstat (limited to 'share/bootloaders/grub-pc/grub.cfg')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 03e681f49..a1e6a1895 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -57,11 +57,11 @@ submenu 'Advanced install options...' { } fi +if @ENABLE_MEMTEST@; then submenu 'Advanced options...' --hotkey=a { # Memtest (if any) - if @ENABLE_MEMTEST@; then source /boot/grub/memtest.cfg - fi } +fi |