From 9512ba6b09b55c1551933c1885aa1ca39457aea8 Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Fri, 3 Jan 2020 12:16:52 +0100 Subject: bootloader: Mark "grub.cfg" and "extlinux.conf" as non-substitutable. Suggested by . * gnu/bootloader/grub.scm (grub-configuration-file): Pass #:options to 'computed-file'. * gnu/bootloader/extlinux.scm (extlinux-configuration-file): Likewise. --- gnu/bootloader/extlinux.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'gnu/bootloader/extlinux.scm') diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm index 40108584a8..5b4dd84965 100644 --- a/gnu/bootloader/extlinux.scm +++ b/gnu/bootloader/extlinux.scm @@ -74,7 +74,9 @@ TIMEOUT ~a~%" (format port "~%")) #~()))))) - (computed-file "extlinux.conf" builder)) + (computed-file "extlinux.conf" builder + #:options '(#:local-build? #t + #:substitutable? #f))) -- cgit v1.2.3