gnu: make-opensbi-package: Set target to #false.

* gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Set
target to #false.
This commit is contained in:
Efraim Flashner 2023-10-22 20:32:27 +03:00
parent af89b109db
commit faeebdc37e
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -523,6 +523,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
(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)))