Re: [Minios-devel] [PATCH 3/3] mini-os: support "make config" for out-of-tree users

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Wei Liu, on Tue 30 Aug 2016 14:57:50 +0100, wrote:
> On Tue, Aug 30, 2016 at 01:51:23PM +0200, Juergen Gross wrote:
> > Mini-OS applications being compiled using Mini-OS headers without
> > being integrated in the make environment of Mini-OS need a way to set
> > CONFIG_* defines according to their Mini-OS configuration.
> > 
> > Add a new make target "config" for that purpose creating a Makefile
> > snipplet $(CONFIG_FILE) (defaults to ./minios-config.mk) containing
> > the needed information.
> > 
> > Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
> 
> Reviewed-by: Wei Liu <wei.liu2@xxxxxxxxxx>

Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel