> 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?
