diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-12-16 00:16:40 +0100 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-12-16 07:33:09 +0100 |
commit | 97817e7f18bd3bd95152e46239ad96928678e944 (patch) | |
tree | b53456638df011edb833b0ad3b193dcf2f9ccbbd /gnu/services | |
parent | 5985d01bd84a10439c5c0418bf2979aaa8a08b1a (diff) | |
download | patches-97817e7f18bd3bd95152e46239ad96928678e944.tar patches-97817e7f18bd3bd95152e46239ad96928678e944.tar.gz |
linux-boot: Add make-static-device-nodes.
* gnu/build/linux-boot.scm (make-static-device-nodes): New variable.
(<device-node>): New variable.
(read-static-device-nodes): New variable.
(report-system-error): New variable.
(catch-system-error): New variable.
(create-device-node): New variable.
(mkdir-p*): New variable.
Co-Authored-By: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions