diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-16 20:49:49 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-16 20:52:22 -0400 |
| commit | ea7b73aac55177d1d556d0c9dba04b0870d3aaf6 (patch) | |
| tree | 98862ab518680573c4d1d77542bc88b5ec9ceb2a /pre-commit.sh | |
| parent | 62bb1ffdee060819657161e260e75e3e1df017ac (diff) | |
Allow short reads from read_func
Diffstat (limited to 'pre-commit.sh')
| -rwxr-xr-x | pre-commit.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pre-commit.sh b/pre-commit.sh index bde503b..bebe9d9 100755 --- a/pre-commit.sh +++ b/pre-commit.sh @@ -1,7 +1,12 @@ #!/bin/sh # Ensure no doxygen errors -which doxygen >/dev/null 2>/dev/null && { doxygen || exit 1; } +if which doxygen >/dev/null 2>/dev/null; then + doxygen || exit 1 + cd cpp + doxygen || exit 1 + cd .. +fi make -j`nproc` test || exit 1 |