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

[Tim Murphy]

Hi,

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:

http://developer.symbian.org/oss/MCL/sftools/dev/build/file/96fee2635b19/sbsv2/raptor/util/talon

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.

Regards,

Tim


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:

http://www.thezimbabwean.co.uk/