Re: [PATCH bpf-next 2/3] tools: bpftool: improve and check builds for different make invocations

[Ilya Leoshkevich]

> Am 29.08.2019 um 12:56 schrieb Quentin Monnet <quentin.mon...@netronome.com>:
> 
> +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?