Re: [Xen-devel] [PATCH for-4.7] Config.mk: update mini-os revision

2016-05-04 Thread Wei Liu
On Wed, May 04, 2016 at 04:41:06AM -0600, Jan Beulich wrote: > >>> On 04.05.16 at 11:37, wrote: > > This is only one commit: > > build: change MINI-OS_ROOT to MINIOS_ROOT > > > > This change is required to fix stubdom build on Ubuntu 16.04. > > > > Signed-off-by: Wei Liu > > I don't think

Re: [Xen-devel] [PATCH for-4.7] Config.mk: update mini-os revision

2016-05-04 Thread Jan Beulich
>>> On 04.05.16 at 11:37, wrote: > This is only one commit: > build: change MINI-OS_ROOT to MINIOS_ROOT > > This change is required to fix stubdom build on Ubuntu 16.04. > > Signed-off-by: Wei Liu I don't think such changes need acks (or even posting) - the actual change having gone into t

[Xen-devel] [PATCH for-4.7] Config.mk: update mini-os revision

2016-05-04 Thread Wei Liu
This is only one commit: build: change MINI-OS_ROOT to MINIOS_ROOT This change is required to fix stubdom build on Ubuntu 16.04. Signed-off-by: Wei Liu --- Cc: Andrew Cooper Cc: George Dunlap Cc: Ian Jackson Cc: Jan Beulich Cc: Konrad Rzeszutek Wilk Cc: Stefano Stabellini Cc: Tim Deega