diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-02-07 14:16:11 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-02-08 09:26:19 +0200 |
| commit | 03ce4e2c13f13c8cb59e30fae995d7d95919dded (patch) | |
| tree | 8e95ab01daa3aee53a330f17775c677ba0f73fc6 /gnu/packages | |
| parent | b84a6cd08c7b41653601de0e9d8359e7db76c24c (diff) | |
gnu: seabios: Don't build for a specific target.
* gnu/packages/firmware.scm (seabios)[arguments]: Set target to #f since
we're producing a firmware file.
Diffstat (limited to 'gnu/packages')
| -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 080aaed55b..fa99306abc 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -534,6 +534,7 @@ executing in M-mode.") (arguments (list #:tests? #f ;no tests + #:target #f ; Package produces firmware. #:make-flags ;; If EXTRAVERSION is not set the build system will embed the current ;; date in binaries. Use this opportunity to personalize as recommended |