diff --git a/tools/lint/lint.ml b/tools/lint/lint.ml index c0a576b75d00ab2ad223adea7e09a4286a989f79..cf0d18e5970e345f652c0aa4b13ec99c34e39f50 100644 --- a/tools/lint/lint.ml +++ b/tools/lint/lint.ml @@ -42,7 +42,7 @@ let external_formatters = [ available_cmd = "clang-format --version > /dev/null 2> /dev/null"; check_cmd = "clang-format --dry-run -Werror" ; update_cmd = "clang-format -i" ; - version_cmd = "" + version_cmd = "clang-format --version | grep -E '1[1-6]'" } ; { kind = "Python";