diff options
-rwxr-xr-x | ci/codestyle.sh | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/ci/codestyle.sh b/ci/codestyle.sh index 850661e5..1db6c1f8 100755 --- a/ci/codestyle.sh +++ b/ci/codestyle.sh @@ -15,12 +15,23 @@ done echo "ok" fi -# Will uncomment this once we reformat -#if command -v clang-format; then -# echo -n "checking clang-format... " -# git ls-files '**.c' '**.cxx' '**.h' '**.hpp' | xargs clang-format --Werror --dry-run -# echo "ok" -#fi +if command -v clang-format; then + clang_ver=$(clang-format --version) + clang_min_ver=15 + version_re=" version ([0-9]+)." + if [[ $clang_ver =~ $version_re ]]; then + if test "${BASH_REMATCH[1]}" -ge "${clang_min_ver}"; then + echo -n "checking clang-format... " + git ls-files '**.c' '**.cxx' '**.h' '**.hpp' | xargs clang-format --Werror --dry-run + echo "ok" + else + echo "notice: clang-format ${clang_ver}" is too old + fi + else + echo "failed to parse clang-format version ${clang_ver}" 1>&2 + exit 1 + fi +fi echo -n 'grep-based static analysis... ' patterns=(glnx_fd_close) |