Re: build from CVS

[Ken Raeburn]

Richard Stallman <address@hidden> writes:
>     I think if you add "exit 1" to the commands run by maybe_bootstrap, Make 
>     will stop after printing that message.
> I think that won't work if make is run with -k,
> and normally that's what people do.

What about making the ${SUBDIRS} and leim targets depend on
maybe_bootstrap?  Then "make src" will get the warning too (is that a
bad thing?), and "make -k" should skip all the subdir targets after
the one failure reported by maybe_bootstrap.