gnu: make-u-boot-package: Use INVOKE.

* gnu/packages/bootloaders.scm (make-u-boot-package)[arguments]: Use INVOKE in
"configure" phase.
This commit is contained in:
Ricardo Wurmus 2019-01-26 14:44:32 +01:00
parent 92b344dd05
commit 8f43bdd9fb
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -516,7 +516,7 @@ (define-public (make-u-boot-package board triplet)
(lambda* (#:key outputs make-flags #:allow-other-keys) (lambda* (#:key outputs make-flags #:allow-other-keys)
(let ((config-name (string-append ,board "_defconfig"))) (let ((config-name (string-append ,board "_defconfig")))
(if (file-exists? (string-append "configs/" config-name)) (if (file-exists? (string-append "configs/" config-name))
(zero? (apply system* "make" `(,@make-flags ,config-name))) (apply invoke "make" `(,@make-flags ,config-name))
(begin (begin
(display "Invalid board name. Valid board names are:" (display "Invalid board name. Valid board names are:"
(current-error-port)) (current-error-port))