diff options
| author | Will Dietz <wdietz2@illinois.edu> | 2013-08-28 15:53:17 +0000 |
|---|---|---|
| committer | Will Dietz <wdietz2@illinois.edu> | 2013-08-28 15:53:17 +0000 |
| commit | 1de40607ba0671e82e49be696dbd8a001b41f6f4 (patch) | |
| tree | 633553d18c3b17889fbd174c4798439cf55d9971 /lib/sanitizer_common/scripts | |
| parent | 81b8120b555eedd578e0737d081d1f6d76cfc3b9 (diff) | |
sanitizer_common: Use PYTHON_EXECUTABLE to choose appropriate python.
Fixes build on systems where 'python' is not python2.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@189486 91177308-0d34-0410-b5e6-96231b3b80d8
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 |