diff options
| author | Mark H Weaver <mhw@netris.org> | 2015-08-23 22:54:59 -0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-10-28 12:04:02 +0100 |
| commit | 44a88ce49e6a6a4595a9ea6e02ea59be89614eae (patch) | |
| tree | 1bba6928cb127e75668abafce5859f84de3df680 /gnu/packages/linux.scm | |
| parent | 726029b2bac3584d7d13e577d7321ed84c80aebd (diff) | |
| download | patches-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/packages/linux.scm')
| -rw-r--r-- | 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 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") |