Re: `make world` exit code

On lör, 2011-07-02 at 22:36 -0700, David E. Wheeler wrote:
> Hackers,
> 
> I'm building a new server using 9.1beta2. My build script includes these two line:
> 
>     make world -j3 || exit $?
>     make install-world || exit $?
> 
> Much to my annoyance, `make world` seems to succeed, but the script
> exits with no error message. So the second line never executes. I
> commented out the " || exit $?" part and the script worked fine. Is
> there some random non-success error value coming from a successful run
> of `make world` in the beta 2 release?

No, but you might want to vary the -j option to isolate the issue.