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 /gnu/packages/patches/java-commons-collections-fix-java8.patch | |
| parent | 59e80445882f8b0379e54916f89510c0deda6698 (diff) | |
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 'gnu/packages/patches/java-commons-collections-fix-java8.patch')
0 files changed, 0 insertions, 0 deletions