Martine Lenders db81377af7

dist/tools/doccheck: only exit after when every check ran ...

Doxygen takes an eternity to finish anyways, so it does not hurt to not
early exit for the group checks.

2021-01-11 15:27:21 +01:00

..

check.sh

dist/tools/doccheck: only exit after when every check ran

2021-01-11 15:27:21 +01:00