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. Juergen
