diff options
author | liamwhite <liamwhite@users.noreply.github.com> | 2022-12-30 15:20:20 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-30 15:20:20 -0500 |
commit | 88f5d38b9349afefd9257a779323531b21001500 (patch) | |
tree | 56dc617070177f11938ab02dd81b783bfa2496b6 | |
parent | 0ac34bd058ad055c5700ad01806b517991e1b87c (diff) | |
parent | 5d36d4b1435a4bfb7310d52f7ebf9f0feddd2abb (diff) |
Merge pull request #9526 from ColinKinloch/choose_clang_format
ci: Allow setting clang-format binary
-rwxr-xr-x[-rw-r--r--] | .ci/scripts/format/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/scripts/format/script.sh b/.ci/scripts/format/script.sh index 119abae6a..225bbc972 100644..100755 --- a/.ci/scripts/format/script.sh +++ b/.ci/scripts/format/script.sh @@ -10,7 +10,7 @@ if grep -nrI '\s$' src *.yml *.txt *.md Doxyfile .gitignore .gitmodules .ci* dis fi # Default clang-format points to default 3.5 version one -CLANG_FORMAT=clang-format-12 +CLANG_FORMAT=${CLANG_FORMAT:-clang-format-12} $CLANG_FORMAT --version if [ "$TRAVIS_EVENT_TYPE" = "pull_request" ]; then |