Subject: Re: make -j and failure modes
To: None <>
From: Christos Zoulas <>
List: tech-userlevel
Date: 12/10/2003 00:27:19
In article <>,
David Laight <> wrote:
>> 2. Fix sh to deal with group'd commands and -e. Then provide nbsh as a host
>>    tool and tell make to use it.
>IIRC there is an outstanding bug on netbsd's /bin/sh where:
>$ (set -e;(exit 1);echo foo)
>outputs foo.

Is this a bug? -e does not work on interactive shells.

>> 3. Go through all the Makefile's and change (... && ...) into .... && ...
>May even be worth changing make so that it understands cd xxx; yyy

using (cmd1; cmd2; cmd3) is just asking for trouble. Change the Makefile
to use (cmd1 && cmd2 && cmd3), as David suggested.