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:' r~
