diff options
Diffstat (limited to 'scripts/clang-tidy.sh')
| -rwxr-xr-x | scripts/clang-tidy.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/clang-tidy.sh b/scripts/clang-tidy.sh index ad86ed3f12..7665180cf7 100755 --- a/scripts/clang-tidy.sh +++ b/scripts/clang-tidy.sh @@ -5,7 +5,7 @@ set -o pipefail export PATH="`pwd`/.mason:${PATH}" MASON_DIR="`pwd`/.mason" -CLANG_TIDY=${CLANG_TIDY:-$(mason prefix clang-tidy 3.8)/bin/clang-tidy} +CLANG_TIDY=${CLANG_TIDY:-$(mason prefix clang-tidy 3.8.0)/bin/clang-tidy} command -v ${CLANG_TIDY} >/dev/null 2>&1 || { echo "Can't find ${CLANG_TIDY} in PATH." @@ -18,9 +18,10 @@ command -v ${CLANG_TIDY} >/dev/null 2>&1 || { cd $1 function check_tidy() { + echo "Checking $0..." OUTPUT=$(${CLANG_TIDY} -p=$PWD $0 2>/dev/null) if [[ -n $OUTPUT ]]; then - echo "Error: A clang-tidy warning/error happened:" + echo "Caught clang-tidy warning/error:" echo -e "$OUTPUT" exit 1 fi |