From a8e3fd5f9d1abd903edc9a413325194ed44557bd Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Sat, 19 May 2018 21:08:41 +0000 Subject: gnu: linux-libre: Use "make dtbs_install" to install device tree files. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/linux.scm (make-linux-libre): Use "make dtbs_install" to install device tree files. Signed-off-by: Ludovic Courtès --- gnu/packages/linux.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 0c58b90f10..9dd9b7e883 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -366,8 +366,10 @@ (define* (make-linux-libre version hash supported-systems (for-each (lambda (file) (install-file file out)) (find-files "." "^(\\.config|bzImage|zImage|Image|vmlinuz|System\\.map)$")) ;; Install device tree files - (for-each (lambda (file) (install-file file dtbdir)) - (find-files "." "\\.dtb$")) + (unless (null? (find-files "." "\\.dtb$")) + (mkdir-p dtbdir) + (invoke "make" (string-append "INSTALL_DTBS_PATH=" dtbdir) + "dtbs_install")) ;; Install kernel modules (mkdir-p moddir) (invoke "make" -- cgit v1.2.3