diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-07-29 18:31:42 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-29 18:50:28 +0200 |
commit | fcd068e984078ab74c6842af2525bf88096cd262 (patch) | |
tree | 01a18470cb88a13a6c9d2dbc33cd098dfa93c083 /gnu/system.scm | |
parent | d2a1cf45f74f4be67bd51068fc531a1b8ae54536 (diff) | |
download | patches-fcd068e984078ab74c6842af2525bf88096cd262.tar patches-fcd068e984078ab74c6842af2525bf88096cd262.tar.gz |
linux-initrd: Try several file names when looking up modules.
Fixes <https://bugs.gnu.org/31714>.
Reported by Tonton <tonton@riseup.net>.
* gnu/build/linux-modules.scm (find-module-file): New procedure.
* gnu/system/linux-initrd.scm (flat-linux-module-directory)[build-exp]:
Remove 'lookup' procedure and use 'find-module-file' instead.
* gnu/system/mapped-devices.scm (check-device-initrd-modules): Add
comment.
Diffstat (limited to 'gnu/system.scm')
0 files changed, 0 insertions, 0 deletions