summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index dd18ebdcac..3d8ef4dc57 100644
--- a/Makefile
+++ b/Makefile
@@ -1266,8 +1266,11 @@ else
@echo "To install (requires internet access) run: $ make format-cpp-build"
endif
-CPPLINT_QUIET = --quiet
-
+ifeq ($(V),1)
+ CPPLINT_QUIET =
+else
+ CPPLINT_QUIET = --quiet
+endif
.PHONY: lint-cpp
# Lints the C++ code with cpplint.py and check-imports.py.
lint-cpp: tools/.cpplintstamp