diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/bootloaders/grub-pc/grub.cfg | 6 | ||||
| -rw-r--r-- | share/bootloaders/grub-pc/memtest.cfg | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/share/bootloaders/grub-pc/grub.cfg b/share/bootloaders/grub-pc/grub.cfg index 8690b097b..03e681f49 100644 --- a/share/bootloaders/grub-pc/grub.cfg +++ b/share/bootloaders/grub-pc/grub.cfg @@ -59,7 +59,9 @@ fi submenu 'Advanced options...' --hotkey=a { -# Memtest (if any) -@MEMTEST@ + # Memtest (if any) + if @ENABLE_MEMTEST@; then + source /boot/grub/memtest.cfg + fi } diff --git a/share/bootloaders/grub-pc/memtest.cfg b/share/bootloaders/grub-pc/memtest.cfg new file mode 100644 index 000000000..454804bb0 --- /dev/null +++ b/share/bootloaders/grub-pc/memtest.cfg @@ -0,0 +1,3 @@ +menuentry "Memory Diagnostic Tool (@MEMTEST_VERSION@)" --hotkey=m { + linux16 @MEMTEST_BIN@ +} |