Richard Henderson <richard.hender...@linaro.org> writes:
> On 2/2/23 08:59, Alex Bennée wrote: >>> + - env NINJA_STATUS="[ninja][%f/%t] " ninja | fgrep -v "[ninja]" >>> - if test -n "$MAKE_CHECK_ARGS"; >>> then >>> make -j"$JOBS" $MAKE_CHECK_ARGS ; >> This is too much for gitlab as it trips up on no output at all. What >> we >> really need is something that filters ninja output, counts the lines and >> outputs a dot every 10? 20? lines to keep gitlab happy. >> Shonky shell script? Very clever sed? > > NINJA_STATUS='ninja %f: ' ninja | grep 'ninja.*[02468]0:' NINJA_STATUS="[ninja][%f/%t] " ninja | grep -v "\[ninja\]\[.*[123456789]/" but I guess I need to include it from the Makefile invocation -- Alex Bennée Virtualisation Tech Lead @ Linaro
