diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-05-24 12:41:32 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-06-08 13:51:18 +0200 |
commit | 6cea61f2fab26716cd8c2394fc83eac9985f9d97 (patch) | |
tree | 65fc6d6f8c336c278b141f32dfbce9e3d944974a /gnu/system/image.scm | |
parent | 1428926f1f0d7577cd2de8d019a27f8082855d03 (diff) |
linux-boot: Update 'make-hurd-device-nodes'.
* gnu/build/linux-boot.scm (make-hurd-device-nodes): Avoid de-duplication of
device mount points; also create mount points for /servers/.
Diffstat (limited to 'gnu/system/image.scm')
0 files changed, 0 insertions, 0 deletions