gnu: u-boot-pinebook-pro-rk3399: Fix indentation.

* gnu/packages/bootloaders.scm (u-boot-pinebook-pro-rk3399): Fix indentation.
This commit is contained in:
Maxim Cournoyer 2022-12-01 11:38:10 -05:00
parent 24b0fe3463
commit df25165530
No known key found for this signature in database
GPG key ID: 1260E46482E63562

View file

@ -1039,16 +1039,16 @@ BOOT_TARGET_NVME(func) \\
(package (package
(inherit base) (inherit base)
(arguments (arguments
(substitute-keyword-arguments (package-arguments base) (substitute-keyword-arguments (package-arguments base)
((#:phases phases) ((#:phases phases)
`(modify-phases ,phases `(modify-phases ,phases
(add-after 'unpack 'set-environment (add-after 'unpack 'set-environment
(lambda* (#:key inputs #:allow-other-keys) (lambda* (#:key inputs #:allow-other-keys)
(setenv "BL31" (setenv "BL31"
(search-input-file inputs "/bl31.elf")))) (search-input-file inputs "/bl31.elf"))))
;; Phases do not succeed on the bl31 ELF. ;; Phases do not succeed on the bl31 ELF.
(delete 'strip) (delete 'strip)
(delete 'validate-runpath))))) (delete 'validate-runpath)))))
(native-inputs (native-inputs
`(("firmware" ,arm-trusted-firmware-rk3399) `(("firmware" ,arm-trusted-firmware-rk3399)
,@(package-native-inputs base)))))) ,@(package-native-inputs base))))))