diff options
| -rw-r--r-- | gnu/packages/firmware.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 781d8ae004..a4e43e71ec 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -450,7 +450,7 @@ executing in M-mode.") (string-drop-right entry 2)) (format port "CONFIG_~a~%" entry))) (cons "BUILD_VGABIOS=y" config)))) - (apply invoke "make" (append flags '("oldnoconfig"))) + (apply invoke "make" "oldnoconfig" flags) (apply invoke "make" flags) (link (string-append target "/bios.bin") (string-append "out/" target ".bin"))))) @@ -469,8 +469,6 @@ executing in M-mode.") (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (fmw (string-append out "/share/firmware"))) - (mkdir-p fmw) - (copy-file "out/bios.bin" (string-append fmw "/bios.bin")) (for-each (lambda (bios) (install-file bios fmw)) (find-files "out" "\\.bin$")) |