diff options
| author | Leo Famulari <leo@famulari.name> | 2016-11-25 11:20:21 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2016-11-25 11:20:21 -0500 |
| commit | de32aa74b4f7762e887e80047804c42d495ab841 (patch) | |
| tree | bc37856ba9036563aa9ca7809ea3e8cefcb670e9 /gnu/build/install.scm | |
| parent | d46491779e18cf614caeeb1b4becbd9171c64416 (diff) | |
| parent | d66cbd1adc799b08e66cd912822c6220499b4876 (diff) | |
Merge branch 'master' into python-build-system
Diffstat (limited to 'gnu/build/install.scm')
| -rw-r--r-- | gnu/build/install.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/build/install.scm b/gnu/build/install.scm index 3d1594e203..5c2b35632d 100644 --- a/gnu/build/install.scm +++ b/gnu/build/install.scm @@ -46,6 +46,11 @@ Note that the caller must make sure that GRUB.CFG is registered as a GC root so that the fonts, background images, etc. referred to by GRUB.CFG are not GC'd." (install-grub-config grub.cfg mount-point) + + ;; Tell 'grub-install' that there might be a LUKS-encrypted /boot or root + ;; partition. + (setenv "GRUB_ENABLE_CRYPTODISK" "y") + (unless (zero? (system* "grub-install" "--no-floppy" "--boot-directory" (string-append mount-point "/boot") |