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