diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2023-10-22 20:32:27 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2023-10-22 20:32:27 +0300 |
commit | faeebdc37e9137d62e11175e83988f77496a6641 (patch) | |
tree | ac559010ff05f23a0edef72b9493e14399157d80 /gnu | |
parent | af89b109db92dc7a3c864e50b99d5c0a6edde2cf (diff) | |
download | guix-faeebdc37e9137d62e11175e83988f77496a6641.tar.gz |
gnu: make-opensbi-package: Set target to #false.
* gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Set target to #false.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/firmware.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index d82636444a..a674421157 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -523,6 +523,7 @@ provide OpenFirmware functionality on top of an already running system.") (list python))) (arguments `(#:tests? #f ; no check target + #:target #f ; Package produces firmware. #:make-flags (list (string-append "PLATFORM=" ,platform) ,@(if (and (not (string-prefix? "riscv64" (%current-system))) |