commit 33fcda4601fcfe6bfade1a0f8d2c44ac758b577a
parent bf245e65d79f55dc054487b66e3bc5c3fbd33b7c
Author: Christian Grothoff <christian@grothoff.org>
Date: Thu, 22 Oct 2020 10:59:14 +0200
fix doxygen script
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh
@@ -5,7 +5,7 @@ set -eu
doxygen $1 2> doxygen.err.raw
grep -v "has multiple @param" doxygen.err.raw | grep -v "too many nodes" > doxygen.err
cat doxygen.err
-LC=`wc -l doxygen.err`
+LC=`cat doxygen.err | wc -l`
if [[ $LC = 0 ]]
then
exit 0