From a2e580f498a2615b23d29013740b3b69b900f680 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
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 <vagrant@debian.org>
---
 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 @@ broadband modem as found, for example, on PinePhone.")
          (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 1.4.1