On Mon, Sep 07, 2020 at 06:16:32PM +0200, Jürgen Groß wrote: > On 07.09.20 17:55, Wei Liu wrote: > > On Fri, Aug 28, 2020 at 05:07:45PM +0200, Juergen Gross wrote: > > > Rename *_libxlutil make variables to *_libxenutil in order to avoid > > > nasty indirections when moving libxlutil under the tools/libs > > > infrastructure. > > > > xl means xenlight. > > > > So I think the name should be libxenlightutil here. > > I don't really mind, but given that the name is completely internal > to the build system I wonder whether the shorter name isn't more > pleasant.
Oh, yes. It is just an internal name. That's fine then. There is no point in quibbling about this further. Acked-by: Wei Liu <w...@xen.org> > > > Juergen
