diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2018-05-19 21:08:41 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-05-20 23:36:59 +0200 |
| commit | a8e3fd5f9d1abd903edc9a413325194ed44557bd (patch) | |
| tree | 1adcf7d0202e29a2bfe99fcab308b1f2b4a89d03 /gnu/packages | |
| parent | 62813c10a926df99085b49fa8b753e09e45b33fd (diff) | |
| download | guix-a8e3fd5f9d1abd903edc9a413325194ed44557bd.tar.gz | |
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>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/linux.scm | 6 |
1 files 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 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (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" |