diff options
| author | Techjar <tecknojar@gmail.com> | 2019-05-05 19:25:42 -0400 |
|---|---|---|
| committer | Techjar <tecknojar@gmail.com> | 2019-05-05 19:25:42 -0400 |
| commit | a72f56f5582e3edc695a8f4a3e500cb44b1c9136 (patch) | |
| tree | 13468b5897943401c0d373888df6aab1415ea534 /Tools | |
| parent | 99a4ca8de7111c8554b50217744e24bc71912cfe (diff) | |
Update lint.sh to clang-format 7.0
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/lint.sh b/Tools/lint.sh index 5a00def4e3..ad41c8e666 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -9,7 +9,7 @@ if ! [ -x "$(command -v git)" ]; then exit 1 fi -REQUIRED_CLANG_FORMAT_MAJOR=5 +REQUIRED_CLANG_FORMAT_MAJOR=7 REQUIRED_CLANG_FORMAT_MINOR=0 CLANG_FORMAT=clang-format CLANG_FORMAT_MAJOR=clang-format-${REQUIRED_CLANG_FORMAT_MAJOR} |