summaryrefslogtreecommitdiffstats
path: root/extras/scripts
diff options
context:
space:
mode:
authorDamjan Marion <damarion@cisco.com>2021-03-23 21:34:08 +0100
committerDamjan Marion <damarion@cisco.com>2021-03-23 22:22:44 +0100
commit04e7c0ff14528a4451e63e2266b76e0879a560e8 (patch)
treebf92b00ab6279eb4bd03ce535ada487380544aa0 /extras/scripts
parent982e44fcc482cc9bc08e46c2a36ab66b0861bacb (diff)
misc: allow explicitelly setting CLANG_FORMAT_VER
Type: improvement Change-Id: I356b1b1804a2b09b25f5a285ada12db6879e2f6a Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'extras/scripts')
-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}"