diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-03-12 10:43:15 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-16 23:00:27 +0200 |
commit | 2a693b69ca35ee942395e1adf458a666846881fc (patch) | |
tree | 3518e413fad9b72c707d852e28ba5eb04c06395e /gnu/system | |
parent | 4f8b9d1a6f551697996c77b6e1741007e1f7c9cd (diff) | |
download | patches-2a693b69ca35ee942395e1adf458a666846881fc.tar patches-2a693b69ca35ee942395e1adf458a666846881fc.tar.gz |
linux-modules: Add "modules.devname" writer.
* gnu/build/linux-modules.scm (aliases->device-tuple)
(write-module-device-database): New procedures.
(%not-dash): New variable.
Co-authored-by: Danny Milosavljevic <dannym@scratchpost.org>.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions