diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2019-11-17 14:15:21 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-18 12:18:42 +0100 |
| commit | 900ef20b1da66ad71145082c883dc12f31fafa54 (patch) | |
| tree | 42c53c8031df5c1a1e62c6be076bd1ad39eeb932 /gnu/machine/ssh.scm | |
| parent | 0d78d0f09c10f5c7a25ac2ab4da4197913cd3321 (diff) | |
| download | patches-900ef20b1da66ad71145082c883dc12f31fafa54.tar patches-900ef20b1da66ad71145082c883dc12f31fafa54.tar.gz | |
linux-boot: Don't ignore options when mounting root file system.
Fixes <https://bugs.gnu.org/37977>.
* gnu/build/linux-boot.scm (mount-root-file-system): Add the 'options'
keyword argument and use it when mounting the root file system.
(boot-system): Pass the root file system options to
'mount-root-file-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/machine/ssh.scm')
0 files changed, 0 insertions, 0 deletions