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

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 44a88ce49e6a6a4595a9ea6e02ea59be89614eae
Author: Mark H Weaver <address@hidden>
Date:   Sun Aug 23 22:54:59 2015 -0400

    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.
---
 gnu/packages/linux.scm |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index d66fac5..24fed02 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -267,7 +267,7 @@ for SYSTEM, or #f if there is no configuration for SYSTEM."
                (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")