diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-10-22 11:11:10 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-10-22 11:11:10 +0200 |
| commit | 64f81b1349e1499151dc615014d9d4d92688ab6d (patch) | |
| tree | f6bb046796d556be82103dec4437933cdf163517 /buildbot | |
| parent | 8ca7890bc9c687f234f6c8eee537412f3940118e (diff) | |
| download | deployment-64f81b1349e1499151dc615014d9d4d92688ab6d.tar.gz deployment-64f81b1349e1499151dc615014d9d4d92688ab6d.tar.bz2 deployment-64f81b1349e1499151dc615014d9d4d92688ab6d.zip | |
do not fail on grep returning nothing
Diffstat (limited to 'buildbot')
| -rwxr-xr-x | buildbot/doxygen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh index 876e584..23db715 100755 --- 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 ]] |