diff options
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 8f54562cc..4e993df86 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -36,7 +36,7 @@ submenu 'Utilities...' --hotkey=u { source /boot/grub/theme.cfg # Memtest (if any) - if [ "${grub_platform}" = "pc" ] && @ENABLE_MEMTEST@; then + if [ "${grub_platform}" = "pc" ] -a @ENABLE_MEMTEST@; then source /boot/grub/memtest.cfg fi |