diff options
Diffstat (limited to 'gnu')
| -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 fac0cbbae3..b62252642c 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -360,7 +360,7 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (for-each (lambda (file) (copy-file file (string-append out "/" (basename file)))) - (find-files "." "^(bzImage|vmlinuz|System\\.map)$")) + (find-files "." "^(bzImage|zImage|vmlinuz|System\\.map)$")) (copy-file ".config" (string-append out "/config")) (zero? (system* "make" (string-append "DEPMOD=" mit "/sbin/depmod") |