diff options
Diffstat (limited to 'lib/sanitizer_common/scripts')
| -rwxr-xr-x | lib/sanitizer_common/scripts/check_lint.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/sanitizer_common/scripts/check_lint.sh b/lib/sanitizer_common/scripts/check_lint.sh index 0b7aea1ae..45d61cbd1 100755 --- a/lib/sanitizer_common/scripts/check_lint.sh +++ b/lib/sanitizer_common/scripts/check_lint.sh @@ -50,7 +50,8 @@ run_lint() { if [[ "${SILENT}" != "1" ]]; then cat $TASK_LOG fi - ${LITLINT} "$@" 2>>$ERROR_LOG +# litlint disabled because it requires Python 2.7 or later +# ${LITLINT} "$@" 2>>$ERROR_LOG } run_lint ${LLVM_LINT_FILTER} --filter=${LLVM_LINT_FILTER} \ |