diff options
Diffstat (limited to 'lib/sanitizer_common/scripts')
| -rwxr-xr-x | lib/sanitizer_common/scripts/check_lint.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/sanitizer_common/scripts/check_lint.sh b/lib/sanitizer_common/scripts/check_lint.sh index df4871b8a..5bfc98b27 100755 --- a/lib/sanitizer_common/scripts/check_lint.sh +++ b/lib/sanitizer_common/scripts/check_lint.sh @@ -8,8 +8,10 @@ if [ "${LLVM_CHECKOUT}" == "" ]; then fi # Cpplint setup -cd ${SCRIPT_DIR} CPPLINT=${SCRIPT_DIR}/cpplint.py +if [ "${PYTHON_EXECUTABLE}" != "" ]; then + CPPLINT="${PYTHON_EXECUTABLE} ${CPPLINT}" +fi # Filters # TODO: remove some of these filters |