diff options
Diffstat (limited to 'scripts/clang-tools.sh')
| -rwxr-xr-x | scripts/clang-tools.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/clang-tools.sh b/scripts/clang-tools.sh index b49aadf520..ae3a5fa0e7 100755 --- a/scripts/clang-tools.sh +++ b/scripts/clang-tools.sh @@ -5,8 +5,8 @@ set -o pipefail export PATH="`pwd`/.mason:${PATH}" MASON_DIR="`pwd`/.mason" -CLANG_TIDY=${CLANG_TIDY:-$(mason prefix clang-tidy 3.8.0)/bin/clang-tidy} -CLANG_FORMAT=${CLANG_FORMAT:-$(mason prefix clang-format 3.8.0)/bin/clang-format} +CLANG_TIDY=${CLANG_TIDY:-$(mason prefix clang-tidy 3.9.1)/bin/clang-tidy} +CLANG_FORMAT=${CLANG_FORMAT:-$(mason prefix clang-format 3.9.1)/bin/clang-format} command -v ${CLANG_TIDY} >/dev/null 2>&1 || { echo "Can't find ${CLANG_TIDY} in PATH." |