diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-09-05 12:04:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-09-06 11:46:23 +0200 |
| commit | 0629af7c2a47171fe8699b4d45662e605fea2fa6 (patch) | |
| tree | 10c43ff6cd5e4a5d39bb71d3e547934b236f68ef /doc/guix.texi | |
| parent | 9b5be575f4deed576ad810aef546a353d39532fa (diff) | |
| download | guix-0629af7c2a47171fe8699b4d45662e605fea2fa6.tar.gz guix-0629af7c2a47171fe8699b4d45662e605fea2fa6.zip | |
guix build: ‘--log-file’ honors the configured substitute URLs.
* 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
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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: |