diff options
| author | Mark H Weaver <[email protected]> | 2015-08-19 16:30:02 -0400 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2015-10-27 21:44:46 +0100 |
| commit | c448bf7443dcfbc44f525526a43ac52754a0cd87 (patch) | |
| tree | e258008662418c05ca3a86d005c0d0bb2f35a3ee /.dir-locals.el | |
| parent | 08dcff47445b4029f7f4b4a42750b29a2a184131 (diff) | |
system: grub: On MIPS, the linux image name is vmlinuz, not bzImage.
* gnu/system/grub.scm (grub-configuration-file): Add 'linux-image-name'
internal procedure. Use it from 'entry->gexp'.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions