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/packages/firmware.scm | |
| parent | af89b109db92dc7a3c864e50b99d5c0a6edde2cf (diff) | |
gnu: make-opensbi-package: Set target to #false.
* gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Set
target to #false.
Diffstat (limited to 'gnu/packages/firmware.scm')
| -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))) |