[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [RFC]serialize the output of parallel make?

From: Tim Murphy
Subject: Re: [RFC]serialize the output of parallel make?
Date: Fri, 30 Jul 2010 09:40:17 +0100


Serialisation can be done by external programs - no real need for make to do it.

My project does it already with the talon shell wrapper that we use in
our build system here:


You set talon as the shell for make and talon in turn runs whatever
the actual shell is but adds the serialisation.  there are a lot of
other nice things you can do with this - e.g. measuring the execution
time of every build step so that you can see what affects performance.



On 30 July 2010 09:28, Chiheng Xu <address@hidden> wrote:
> On Fri, Jul 30, 2010 at 3:45 PM, Philip Guenther <address@hidden> wrote:
>> On Thu, Jul 29, 2010 at 11:29 PM, Chiheng Xu <address@hidden> wrote:
>> ...
>>> My suggestion is that you can implement it as an optional command line
>>> option(like -j), and on one or two primary platforms(Linux/Windows),
>>> instead of on all platforms.
>> So, the complexity of both possibilities.  You're writing, debugging,
>> and contributing this code yourself?
> Nop, I'm not maintainer of make,  just a user :)  .
>> (I would hope that this wouldn't require any Linux-specific code;
>> perhaps you meant "POSIX & Windows"?)
> Yes.
>> ...
>>> The scenario like "make -j4 2>/dev/null" may be very rare, but
>>> scenario like "make -j4  2>&1 |  tee output.txt" may be common.
>> And what, exactly, are you suggesting that make do to reflect that
>> guess about usage patterns?
>> Philip Guenther
> I mean, normal user of make does not differentiate stdout or stderr
> very seriously, they see them both as "output". They want serialized
> "output",  whether or not it's stdout or stderr.
> --
> Chiheng Xu
> Wuhan,China
> _______________________________________________
> Bug-make mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/bug-make

You could help some brave and decent people to have access to
uncensored news by making a donation at:


reply via email to

[Prev in Thread] Current Thread [Next in Thread]