From a2e580f498a2615b23d29013740b3b69b900f680 Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Tue, 31 Aug 2021 10:28:34 +0300 Subject: gnu: make-opensbi-package: Adjust installed files. * gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Adjust custom 'install phase to install more files. Signed-off-by: Vagrant Cascadian --- gnu/packages/firmware.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 6ddf562803..1324c0fbd5 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -256,7 +256,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64")) (replace 'install (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out")) - (bin (find-files "." ".*fw_.*.elf$"))) + (bin (find-files "." "fw_.*\\.(elf|bin)$"))) (for-each (lambda (file) (install-file file out)) -- cgit v1.2.3