summaryrefslogtreecommitdiffstats
path: root/extras
diff options
context:
space:
mode:
Diffstat (limited to 'extras')
-rwxr-xr-xextras/scripts/checkstyle.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/scripts/checkstyle.sh b/extras/scripts/checkstyle.sh
index d7587cb369b..f8a83f3ec9d 100755
--- a/extras/scripts/checkstyle.sh
+++ b/extras/scripts/checkstyle.sh
@@ -18,7 +18,7 @@ set -eEo pipefail
CLANG_FORMAT_VER_REGEX='([0-9]+)\.[0-9]+\.[0-9]+'
CLANG_FORMAT_DIFF="/usr/share/clang/clang-format-diff.py"
-CLANG_FORMAT_VER=10
+CLANG_FORMAT_VER=${CLANG_FORMAT_VER:-10}
GIT_DIFF_ARGS="-U0 --no-color --relative HEAD~1"
CLANG_FORMAT_DIFF_ARGS="-style file -p1"
SUFFIX="-${CLANG_FORMAT_VER}"