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/packages/code.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/packages/code.scm')
0 files changed, 0 insertions, 0 deletions