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 <jgr...@suse.com> > > Reviewed-by: Wei Liu <wei.l...@citrix.com>
Acked-by: Samuel Thibault <samuel.thiba...@ens-lyon.org> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel