mirror of
https://github.com/javalsai/lidm.git
synced 2025-08-31 02:18:00 +02:00
ci: fix CI warning count
This commit is contained in:
@@ -13,8 +13,8 @@ make -j"$(nproc)" "$@" 2> /tmp/stderr || ERR=$?
|
|||||||
BSIZE=$(stat --printf="%s" lidm)
|
BSIZE=$(stat --printf="%s" lidm)
|
||||||
HSIZE=$(numfmt --to=iec-i<<<"$BSIZE")B
|
HSIZE=$(numfmt --to=iec-i<<<"$BSIZE")B
|
||||||
WARNS=$(
|
WARNS=$(
|
||||||
sed -E \
|
sed -nE \
|
||||||
's/^([^ ]+\.[ch]):([0-9]+):([0-9]+): ([a-z]+): (.*)$/::\4 file=\1,line=\2,col=\3::\5/' \
|
's/^([^ ]+\.[ch]):([0-9]+):([0-9]+): ([a-z]+): (.*)$/::\4 file=\1,line=\2,col=\3::\5/p' \
|
||||||
/tmp/stderr
|
/tmp/stderr
|
||||||
)
|
)
|
||||||
WARNS_NUM=$({ [[ "$WARNS" == "" ]] && echo 0; } || wc -l <<<"$WARNS")
|
WARNS_NUM=$({ [[ "$WARNS" == "" ]] && echo 0; } || wc -l <<<"$WARNS")
|
||||||
|
Reference in New Issue
Block a user