Subject: Re: make -j and failure modes
To: Luke Mewburn <>
From: Thor Lancelot Simon <>
List: tech-userlevel
Date: 12/12/2003 17:36:19
On Sat, Dec 13, 2003 at 09:32:12AM +1100, Luke Mewburn wrote:
> Why can't this be fixed by using ``|| exit $?\n'' instead of ``\n'' as
> the separator for the merged input fed to sh -e when using make -j ?
> This would involve less churn of Makefiles; the current bug is being
> caused due to an optimization that make -j performs that is dangerous
> given the variance in -e semantics in different sh implementations,
> and hacking the Makefiles to work around this issue doesn't strike me
> as the optimal solution.

I strongly agree.

 Thor Lancelot Simon	                            
   But as he knew no bad language, he had called him all the names of common
 objects that he could think of, and had screamed: "You lamp!  You towel!  You
 plate!" and so on.              --Sigmund Freud