diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-02-18 12:25:12 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-02-18 12:28:56 +0100 |
| commit | 46fc9a7e0d50251a720e6cf0d51bb28e8bf7266b (patch) | |
| tree | e2f8093bfeb644d89d7dd7fd03ecb3f0690e386b | |
| parent | f6d259b4d9443cbc2b8ba0b3f4bbf62ebb960ba5 (diff) | |
| download | patches-46fc9a7e0d50251a720e6cf0d51bb28e8bf7266b.tar patches-46fc9a7e0d50251a720e6cf0d51bb28e8bf7266b.tar.gz | |
gnu: Pass "--target=i386-pc" when installing GRUB for legacy BIOS.
* gnu/bootloader/grub.scm (install-grub): Add "--target=i386-pc" to the list
of arguments to "grub-install".
Fixes <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30311>.
| -rw-r--r-- | gnu/bootloader/grub.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ submenu \"GNU system, old configurations...\" {~%") ;; 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)"))))) |