diff options
| author | booto <remornicus@gmail.com> | 2018-10-05 19:35:46 -0400 |
|---|---|---|
| committer | booto <remornicus@gmail.com> | 2018-10-05 19:35:46 -0400 |
| commit | 712f44edd96aaae75c5bd39d01649b841f28afc1 (patch) | |
| tree | fe94fff2f7d8758a6108dacf430cb02daf1e9150 /Tools | |
| parent | af2f21203924bf5550738733328b859b54c0fe2b (diff) | |
lint: remove superfluous logging
Make lint script be silent unless there's a problem. This line doesn't
work anyway, trying to redirect to fd 0.
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/lint.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Tools/lint.sh b/Tools/lint.sh index 3fe608f613..4a2eb22709 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -67,7 +67,6 @@ COMMIT=${1:---cached} modified_files=$(git diff --name-only --diff-filter=ACMRTUXB $COMMIT) function java_check() { - echo >&0 "Java changes detected, running Android Studio formatter." || true "${ANDROID_STUDIO_ROOT}/bin/format.sh" -s "${JAVA_CODESTYLE_FILE}" -R "${java_temp_dir}" >/dev/null # ignore 'added'/'deleted' files, we copied only files of interest to the tmpdir |