On Mon, 2021-01-11 at 13:31 +0100, coolnodje wrote:
>
>
> Anyway, good tip to redirect stdout, should be standard.
> Makes the output much more readable even though still quite long in
> this
> case: stderr: https://pastebin.com/204fpTzi
Hmmm, using cross-tools not prefixed with host triplet mea
> Well, you could read the footer:
I definitely could have :) funny how eyes can skip what seems unimportant.
Even if I had read it, it wouldn't have been immediately clear though. I
just wasn't aware of the issue, even though I've been reading annoyingly
formatted mailing list threads for years.