On Fri, 2015-10-09 at 09:55 +0200, Martin Kletzander wrote:
With this we could stop generating whole bunch of other stuff in
$(srcdir) See output of `git grep -F '> $(srcdir)'` for details =)
That would be very nice indeed! I'll look into it.
Cheers.
--
Andrea Bolognani
Software Engineer - Virtualization Team