Re: ./build.sh -k feature request (was Re: GENERIC Kernel Build errors with -fsanitize=undefined option enabled)

[Mouse <mouse%Rodents-Montreal.ORG@localhost>]

> The full release build is a number of substeps.  It makes sense to
> use -k for the main build of the system, after the tools build, to
> get the "find all problems" property you want.  But it's not clear to
> me that it makes sense to build the main system if the tool build
> fails.

In make(1) terminology, this means that the entire main system build
should depend on the tools build.  If make(1) is not used for that
ordering, whatever tool is used should implement -k semantics itself as
aoppropriate, seems to me.

> And it's not clear that sets should be produced.

Similarly, sets should depend on the main build.

/~\ The ASCII				  Mouse
\ / Ribbon Campaign
 X  Against HTML		mouse%rodents-montreal.org@localhost
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B