diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index 96e53c5c2b..3b01125c78 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -386,7 +386,7 @@ (define install-grub ;; root partition. (setenv "GRUB_ENABLE_CRYPTODISK" "y") - (unless (zero? (system* grub "--no-floppy" + (unless (zero? (system* grub "--no-floppy" "--target=i386-pc" "--boot-directory" install-dir device)) (error "failed to install GRUB (BIOS)")))))