On Thu, Dec 04, 2014 at 06:56:25PM -0500, Mark H Weaver wrote:
> Andreas Enge <andr...@enge.fr> writes:
> > Instead of this, you could use
> > #:make-flags '("world")
> IMO, this is a misuse of #:make-flags. 'world' is not a make flag, it
> is a make *target*. The make flags are also passed to 'make' during the
> default 'check' and 'install' phases.In that case, maybe we should add a variable 'build-target' to our build system. Andreas
