Todd Lipcon has submitted this change and it was merged. ( http://gerrit.cloudera.org:8080/10170 )
Change subject: Remove kudu-lint tool ...................................................................... Remove kudu-lint tool This tool had fallen far out of date and maintaining it wasn't worth the incremental benefit. Let's remove it and if we find the need for Kudu-specific lint checks perhaps we can bring it back some day. Change-Id: I1fe1df8047dc0f918a8166d181e1061150ba29a5 Reviewed-on: http://gerrit.cloudera.org:8080/10170 Reviewed-by: Adar Dembo <[email protected]> Tested-by: Kudu Jenkins --- D build-support/tools/kudu-lint/.gitignore D build-support/tools/kudu-lint/CMakeLists.txt D build-support/tools/kudu-lint/README D build-support/tools/kudu-lint/cmake_modules/FindClang.cmake D build-support/tools/kudu-lint/cmake_modules/FindLLVM.cmake D build-support/tools/kudu-lint/kudu-lint.cc 6 files changed, 0 insertions(+), 526 deletions(-) Approvals: Adar Dembo: Looks good to me, approved Kudu Jenkins: Verified -- To view, visit http://gerrit.cloudera.org:8080/10170 To unsubscribe, visit http://gerrit.cloudera.org:8080/settings Gerrit-Project: kudu Gerrit-Branch: master Gerrit-MessageType: merged Gerrit-Change-Id: I1fe1df8047dc0f918a8166d181e1061150ba29a5 Gerrit-Change-Number: 10170 Gerrit-PatchSet: 2 Gerrit-Owner: Todd Lipcon <[email protected]> Gerrit-Reviewer: Adar Dembo <[email protected]> Gerrit-Reviewer: Kudu Jenkins Gerrit-Reviewer: Todd Lipcon <[email protected]>
