gnu: linux-libre: Use "make dtbs_install" to install device tree files.
* gnu/packages/linux.scm (make-linux-libre): Use "make dtbs_install" to install device tree files. Signed-off-by: Ludovic Courtès <ludo@gnu.org>master
parent
62813c10a9
commit
a8e3fd5f9d
|
@ -366,8 +366,10 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration."
|
||||||
(for-each (lambda (file) (install-file file out))
|
(for-each (lambda (file) (install-file file out))
|
||||||
(find-files "." "^(\\.config|bzImage|zImage|Image|vmlinuz|System\\.map)$"))
|
(find-files "." "^(\\.config|bzImage|zImage|Image|vmlinuz|System\\.map)$"))
|
||||||
;; Install device tree files
|
;; Install device tree files
|
||||||
(for-each (lambda (file) (install-file file dtbdir))
|
(unless (null? (find-files "." "\\.dtb$"))
|
||||||
(find-files "." "\\.dtb$"))
|
(mkdir-p dtbdir)
|
||||||
|
(invoke "make" (string-append "INSTALL_DTBS_PATH=" dtbdir)
|
||||||
|
"dtbs_install"))
|
||||||
;; Install kernel modules
|
;; Install kernel modules
|
||||||
(mkdir-p moddir)
|
(mkdir-p moddir)
|
||||||
(invoke "make"
|
(invoke "make"
|
||||||
|
|
Reference in New Issue