Re: [Xen-devel] [PATCH] mini-os: add comments in Config.mk regarding new config options

2016-09-05 Thread Wei Liu
On Mon, Sep 05, 2016 at 03:23:10PM +0200, Samuel Thibault wrote: > Juergen Gross, on Mon 05 Sep 2016 13:43:30 +0200, wrote: > > Add some comment in Config.mk what to do in case of adding new config > > options. > > > > Signed-off-by: Juergen Gross > > Reviewed-by: Samuel

Re: [Xen-devel] [PATCH] mini-os: add comments in Config.mk regarding new config options

2016-09-05 Thread Samuel Thibault
Juergen Gross, on Mon 05 Sep 2016 13:43:30 +0200, wrote: > Add some comment in Config.mk what to do in case of adding new config > options. > > Signed-off-by: Juergen Gross Reviewed-by: Samuel Thibault > --- > Config.mk | 5 + > 1 file

[Xen-devel] [PATCH] mini-os: add comments in Config.mk regarding new config options

2016-09-05 Thread Juergen Gross
Add some comment in Config.mk what to do in case of adding new config options. Signed-off-by: Juergen Gross --- Config.mk | 5 + 1 file changed, 5 insertions(+) diff --git a/Config.mk b/Config.mk index 0e405bf..0baedd1 100644 --- a/Config.mk +++ b/Config.mk @@ -152,6