gnu: linux-libre: On MIPS, the linux image name is vmlinuz, not bzImage.

* gnu/packages/linux.scm (linux-libre)[install-phase]: Add vmlinuz to the list
  of file names to be copied.
This commit is contained in:
Mark H Weaver 2015-08-23 22:54:59 -04:00 committed by Ludovic Courtès
parent 726029b2ba
commit 44a88ce49e

View file

@ -267,7 +267,7 @@ (define-public linux-libre
(for-each (lambda (file)
(copy-file file
(string-append out "/" (basename file))))
(find-files "." "^(bzImage|System\\.map)$"))
(find-files "." "^(bzImage|vmlinuz|System\\.map)$"))
(copy-file ".config" (string-append out "/config"))
(zero? (system* "make"
(string-append "DEPMOD=" mit "/sbin/depmod")