diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-06-05 02:00:00 +0200 |
| commit | aeca46ae0fba3e06b81af458bca27315de0e7c7d (patch) | |
| tree | e568db010643e760ff0339f81becf623916ea5cc | |
| parent | 337441609cb3209c416eb40c92b0815b1ba4072c (diff) | |
| download | guix-patches-aeca46ae0fba3e06b81af458bca27315de0e7c7d.tar guix-patches-aeca46ae0fba3e06b81af458bca27315de0e7c7d.tar.gz | |
doc: Remove left-over MIPS.
* doc/guix.texi (Additional Build Options): Substitute aarch64 for MIPS.
| -rw-r--r-- | doc/guix.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 7bedb8660e..96d545698f 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -12474,8 +12474,8 @@ 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}). -So for instance, imagine you want to see the build log of GDB on MIPS, -but you are actually on an @code{x86_64} machine: +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: @example $ guix build --log-file gdb -s aarch64-linux |