diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2021-08-31 10:28:34 +0300 |
---|---|---|
committer | Vagrant Cascadian <vagrant@debian.org> | 2021-12-30 20:10:40 -0800 |
commit | a2e580f498a2615b23d29013740b3b69b900f680 (patch) | |
tree | bf564a918e1a830f839a6256f58d5779b114af5b | |
parent | c189dcd667d0d7be6bb09e8503329a39265412bb (diff) |
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>
-rw-r--r-- | gnu/packages/firmware.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |