gnu: make-linux-libre: Add zImage to output.

* gnu/packages/linux.scm (make-linux-libre): Add zImage to output.
This commit is contained in:
David Craven 2016-09-08 19:30:33 +02:00
parent a6d0132514
commit fd6e0de3c0
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB

View file

@ -360,7 +360,7 @@ (define* (make-linux-libre version hash
(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")