diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-03-13 17:11:19 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-13 23:12:43 +0100 |
commit | 4cd386afae444f3ee603cd07d282b2eee3253555 (patch) | |
tree | 048222e135ac36378bed3ced318fd0055f9fc4ea /build-aux | |
parent | 59e80445882f8b0379e54916f89510c0deda6698 (diff) | |
download | patches-4cd386afae444f3ee603cd07d282b2eee3253555.tar patches-4cd386afae444f3ee603cd07d282b2eee3253555.tar.gz |
linux-modules: Factorize 'missing-modules'.
* gnu/build/linux-modules.scm (missing-modules): New procedure.
* gnu/system/mapped-devices.scm (check-device-initrd-modules): Use it.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions