diff --git a/Tools/lint.sh b/Tools/lint.sh index 4f0fbe2e2f..795dfdd0b5 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -9,8 +9,8 @@ if ! [ -x "$(command -v git)" ]; then exit 1 fi -REQUIRED_CLANG_FORMAT_MAJOR=3 -REQUIRED_CLANG_FORMAT_MINOR=8 +REQUIRED_CLANG_FORMAT_MAJOR=5 +REQUIRED_CLANG_FORMAT_MINOR=0 if ! [ -x "$(command -v clang-format)" ]; then echo >&2 "error: clang-format is not installed"