From cc588fb854ec5fb3ed6ae3bbcdaa5adfd3ed85a2 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Tue, 7 Feb 2023 14:17:55 +0200
Subject: [PATCH] gnu: sgabios: Don't build for a specific target.

* gnu/packages/firmware.scm (sgabios)[arguments]: Set target to #f since
we're building a firmware file.
---
 gnu/packages/firmware.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index fa99306abc..23975c72e8 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -706,6 +706,7 @@ (define-public sgabios
                      "HOSTCC=gcc")
              #:parallel-build? #f
              #:tests? #f   ;no tests
+             #:target #f   ; Package produces firmware.
              #:phases
              #~(modify-phases %standard-phases
                  (add-after 'unpack 'build-reproducibly