From faeebdc37e9137d62e11175e83988f77496a6641 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Sun, 22 Oct 2023 20:32:27 +0300
Subject: [PATCH] gnu: make-opensbi-package: Set target to #false.

* gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Set
target to #false.
---
 gnu/packages/firmware.scm | 1 +
 1 file changed, 1 insertion(+)

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)))