>>> On 19.01.16 at 17:05, <kon...@kernel.org> wrote: > Are you OK if I re-institute the $(build_id) back in the Makefile, perhaps > rename it to $(build_id_linker) to make it more clear?
Well, perhaps that's the least troublesome route right now, even if I don't really like it. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
