diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2019-12-02 21:15:50 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-12 17:56:33 +0100 |
| commit | 55e21617d68073077fdc9f35307e94859ec7a6c4 (patch) | |
| tree | f3c321fe110ce469ebff8b58d4ca209276e657a0 /gnu/services | |
| parent | 336afa17e37a4ef2ab13efa24a25805d37a11cc8 (diff) | |
| download | patches-55e21617d68073077fdc9f35307e94859ec7a6c4.tar patches-55e21617d68073077fdc9f35307e94859ec7a6c4.tar.gz | |
linux-boot: Don't ignore flags when mounting root file system.
* gnu/build/linux-boot.scm (mount-root-file-system): Add the 'flags' keyword
argument and use it when mounting the root file system.
(boot-system): Pass the root file system flags to 'mount-root-file-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions