From a1721d43425fee42fa646915a41b954d8b52239a Mon Sep 17 00:00:00 2001 From: Danny Milosavljevic Date: Thu, 29 Oct 2020 15:28:52 +0100 Subject: [PATCH] gnu: raspi-arm64-chainloader: End phase in #t. * gnu/packages/raspberry-pi.scm (raspi-arm64-chainloader)[arguments]<#:phases>[install]: End phase in #t. --- gnu/packages/raspberry-pi.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/raspberry-pi.scm b/gnu/packages/raspberry-pi.scm index b0362b4921..3138774cf2 100644 --- a/gnu/packages/raspberry-pi.scm +++ b/gnu/packages/raspberry-pi.scm @@ -233,5 +233,6 @@ (define-public raspi-arm64-chainloader (mkdir-p libexec) (install-file "arm64.elf" libexec) (install-file "arm64.map" libexec) - (install-file "arm64.bin" libexec))))))))) + (install-file "arm64.bin" libexec) + #t)))))))) (supported-systems '("aarch64-linux"))))