[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resources for an old newbie ?
From: |
David Masterson |
Subject: |
Re: Resources for an old newbie ? |
Date: |
Sun, 04 Jun 2023 14:05:10 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Emanuel Berg <incal@dataswamp.org> writes:
> David Masterson <dsmasterson@gmail.com> writes:
>
>> Probably should've tee'd the output of make to a log file
>
> Or maybe even more useful, a list of the commands you used.
> Let's see how many commands we land at when we have reduced at
> least one, maybe two commands by now.
nohup make configure="--with-no-toolkit=no --with-native-compilation" \
>& log.file &
produces a log.file of ~1780 lines. I may have to try adding "-j -l 5"
to the make command to see if it speeds up.
--
David Masterson
Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/04
Re: Resources for an old newbie ?, Emanuel Berg, 2023/06/10