On Thu, May 05, 2016 at 10:31:04AM +0100, Wei Liu wrote: > On Wed, May 04, 2016 at 08:54:07AM -0700, Paul Lai wrote: > > During the make world, git mini-os.git didn't honor the 'configure > > --enable-githttp' option. The 'enable-githttp' was only honored in > > the tools subdirectory. > > > > Signed-off-by: Paul Lai <paul.c....@intel.com> > > Acked-by: Wei Liu <wei.l...@citrix.com> > > Thanks for your patch. > > I will queue this up for pushing shortly. And FYI I will re-generate the > changes to configure as I commit this. >
And it is now pushed to staging branch. I added "build: " prefix to the subject line. Wei. > Wei. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel