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