diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-15 22:20:43 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-15 22:20:43 -0400 |
| commit | 9c4f73d970d549388661bbf274393f613cff511d (patch) | |
| tree | 7d6b4b3bc70d96661c9eddd6e81caa6add1e3dc5 | |
| parent | 7e35330658ecbabeceab2cfaf349113b58a84e26 (diff) | |
Fix pre-commit script
| -rwxr-xr-x | pre-commit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pre-commit.sh b/pre-commit.sh index d566662..0510a5c 100755 --- a/pre-commit.sh +++ b/pre-commit.sh @@ -3,7 +3,7 @@ # Ensure no doxygen errors which doxygen >/dev/null 2>/dev/null && { doxygen || exit 1; } -make -j`nproc` test +make -j`nproc` test || exit 1 if [ "$NO_TIDY" = '' ] && \ which clang-tidy >/dev/null && \ |