diff options
| author | Marius Bakke <marius@gnu.org> | 2020-11-19 00:04:32 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-11-19 00:04:32 +0100 |
| commit | 35ed83beae51c05069ed6754dd26cf0f549808ab (patch) | |
| tree | fe09aa72524081aa54c74e6d5f99f1a1c006c06b /gnu/system/image.scm | |
| parent | 38f4c54d7e212fd26e6899fad29c2e604abb32f5 (diff) | |
| parent | 0305bc91762f9d5e01abd3d55e8dd9d3d1ecbdad (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/system/image.scm')
| -rw-r--r-- | gnu/system/image.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/system/image.scm b/gnu/system/image.scm index 81152f0fc4..4972d9067b 100644 --- a/gnu/system/image.scm +++ b/gnu/system/image.scm @@ -576,7 +576,9 @@ it can be used for bootloading." (file-systems-to-keep (srfi-1:remove (lambda (fs) - (string=? (file-system-mount-point fs) "/")) + (let ((mount-point (file-system-mount-point fs))) + (or (string=? mount-point "/") + (string=? mount-point "/boot/efi")))) (operating-system-file-systems base-os))) (format (image-format image)) (os |