diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-05-10 15:31:45 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-06-08 13:51:19 +0200 |
commit | e6cd8581c192f739712013874dfa9690522ea9f1 (patch) | |
tree | 1b79d173306255030db9da3bba9f37a634b41b2b /gnu/system | |
parent | 1244491a0d5334e1589159a2ff67bbc967b9648b (diff) |
system: Use 'hurd' package in label.
* gnu/system.scm (kernel->boot-label): Add keyword parameter 'hurd'. If set,
use it for label.
(operating-system-default-label): Call with it with operating-system-hurd.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions