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 /.gitignore | |
| parent | d2a1cf45f74f4be67bd51068fc531a1b8ae54536 (diff) | |
| download | guix-fcd068e984078ab74c6842af2525bf88096cd262.tar.gz guix-fcd068e984078ab74c6842af2525bf88096cd262.zip | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions