APPLIED[U]: Re: [Unstable][PATCH 0/2] UBUNTU: [Packaging] Clean up linux-bpf-dev packaging

[Paolo Pisati]

On Thu, Dec 05, 2024 at 03:32:46PM +0100, Juerg Haefliger wrote:
> The linux-bpf-dev package provides vmlinux.h which is generated from vmlinux using the
> in-tree bpftool utility. Currently, we build bpftool after the kernel so need to copy
> vmlinux around which is ugly. Fix that by building the tool before the kernel.

Applied.
-- 
bye,
p.