tree 99de4ed5ee4d160ae5d7bb996d3d985af4df713f
parent 15f1bf8928a3c136fe7487c9eb70053922e63db5
author Maciej Żenczykowski <maze@google.com> 1658702553 +0000
committer Maciej Żenczykowski <maze@google.com> 1658702586 +0000

Make sure that BPFLOADER_VERSION >= COMPILE_FOR_BPFLOADER_VERSION

Test: TreeHugger
Signed-off-by: Maciej Żenczykowski <maze@google.com>
Change-Id: I3612460f81a210df0293c0a0f589c2d5a29f615b