From 0629af7c2a47171fe8699b4d45662e605fea2fa6 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Thu, 5 Sep 2024 12:04:00 +0200
Subject: guix build: ‘--log-file’ honors the configured substitute URLs.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* guix/scripts/build.scm (guix-build): When defining ‘urls’, add
‘substitute-urls’ call.
* doc/guix.texi (Additional Build Options): Adjust ‘--log-file’
documentation.

Change-Id: I40f0647efe64ba3a63a6379b8da80b0da8910f48
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/guix.texi')

diff --git a/doc/guix.texi b/doc/guix.texi
index b384b21771..981ffb8c58 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -13714,7 +13714,7 @@ guix build --log-file -e '(@@ (gnu packages guile) guile-2.0)'
 
 If a log is unavailable locally, and unless @option{--no-substitutes} is
 passed, the command looks for a corresponding log on one of the
-substitute servers (as specified with @option{--substitute-urls}).
+substitute servers.
 
 So for instance, imagine you want to see the build log of GDB on
 @code{aarch64}, but you are actually on an @code{x86_64} machine:
-- 
cgit v1.2.3