On Wed, 2015-03-11 at 15:16 +0000, Wei Liu wrote:
> On Wed, Mar 11, 2015 at 03:12:49PM +0000, Ian Campbell wrote:
> > On Mon, 2015-03-09 at 12:51 +0000, Wei Liu wrote:
> > > Originally only setting has line number recorded. Since we're moving to
> > > more sophisticated API, record the location for individual value. It is
> > > useful for error reporting.
> > > 
> > > Signed-off-by: Wei Liu <wei.l...@citrix.com>
> > > Cc: Ian Campbell <ian.campb...@citrix.com>
> > > Cc: Ian Jackson <ian.jack...@eu.citrix.com>
> > 
> > I'm leaving this one to Ian.
> > 
> > Do we need to rerun something (bison/flex?) on commit?
> > 
> 
> These commits already contains bison / flex outputs. I used Wheezy's
> flex and bison.
> 
> I can exclude them from the patch if necessary.

Since you've got the right versions and the diff is small I think we can
live with them there. I think my precommit scripts will force a regen,
which would highlight if there was any skew.

Ian.



_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to