summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9d27292aa6..2437e7c3fe 100644
--- a/Makefile
+++ b/Makefile
@@ -888,7 +888,11 @@ cpplint:
@$(PYTHON) tools/check-imports.py
ifneq ("","$(wildcard tools/eslint/lib/eslint.js)")
-lint: jslint cpplint
+lint:
+ EXIT_STATUS=0 ; \
+ $(MAKE) jslint || EXIT_STATUS=$$? ; \
+ $(MAKE) cpplint || EXIT_STATUS=$$? ; \
+ exit $$EXIT_STATUS
CONFLICT_RE=^>>>>>>> [0-9A-Fa-f]+|^<<<<<<< [A-Za-z]+
lint-ci: jslint-ci cpplint
@if ! ( grep -IEqrs "$(CONFLICT_RE)" benchmark deps doc lib src test tools ) \