2019-08-29 18:03 UTC+0200 ~ Ilya Leoshkevich <iii@xxxxxxxxxxxxx>
>> Am 29.08.2019 um 12:56 schrieb Quentin Monnet <quentin.monnet@xxxxxxxxxxxxx>:
>>
>> +make_and_clean() {
>> + echo -e "\$PWD: $PWD"
>> + echo -e "command: make -s $* >/dev/null"
>> + make $J -s $* >/dev/null
>
> Would it make sense to set ERROR=1 if make produces a bpftool binary,
> but still fails with a non-zero RC for whatever reason?
>
Hi Ilya,
Generating bpftool being the last thing the Makefile does, I don't know
if this could happen. But sure, that wouldn't hurt, and I will add it to
v2, thanks!
Quentin
