aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2015-08-23 22:54:59 -0400
committerLudovic Courtès <ludo@gnu.org>2015-10-28 12:04:02 +0100
commit44a88ce49e6a6a4595a9ea6e02ea59be89614eae (patch)
tree1bba6928cb127e75668abafce5859f84de3df680 /gnu
parent726029b2bac3584d7d13e577d7321ed84c80aebd (diff)
downloadpatches-44a88ce49e6a6a4595a9ea6e02ea59be89614eae.tar
patches-44a88ce49e6a6a4595a9ea6e02ea59be89614eae.tar.gz
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.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/linux.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index d66fac5ceb..24fed02dca 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")