commit 64f81b1349e1499151dc615014d9d4d92688ab6d parent 8ca7890bc9c687f234f6c8eee537412f3940118e Author: Christian Grothoff <christian@grothoff.org> Date: Thu, 22 Oct 2020 11:11:10 +0200 do not fail on grep returning nothing Diffstat:
| M | buildbot/doxygen.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh @@ -3,7 +3,7 @@ set -eu doxygen $1 2> doxygen.err.raw -grep -v "has multiple @param" doxygen.err.raw | grep -v "too many nodes" > doxygen.err +grep -v "has multiple @param" doxygen.err.raw | grep -v "too many nodes" > doxygen.err || true cat doxygen.err LC=`cat doxygen.err | wc -l` if [[ $LC = 0 ]]