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	                                      tls@rek.tjls.com
   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