diff options
| -rwxr-xr-x | util/lint/check-style | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/check-style b/util/lint/check-style index 1ac51b4d1a..2237ed6295 100755 --- a/util/lint/check-style +++ b/util/lint/check-style @@ -15,7 +15,7 @@ ################################################################## # SETTINGS # set path to clang-format binary -CLANG_FORMAT="/usr/bin/clang-format" +CLANG_FORMAT="$(command -v clang-format)" # remove any older patches from previous commits. Set to true or false. # DELETE_OLD_PATCHES=false |