From 0821581b2c1dacf35fc36e15721d29daf46a392a Mon Sep 17 00:00:00 2001 From: Refael Ackermann Date: Thu, 7 Dec 2017 11:52:11 -0500 Subject: [PATCH] tools: don't lint-md as part of main lint target --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 50fabae087dfaa..5837dbc5d15843 100644 --- a/Makefile +++ b/Makefile @@ -1114,7 +1114,6 @@ lint: @EXIT_STATUS=0 ; \ $(MAKE) lint-js || EXIT_STATUS=$$? ; \ $(MAKE) lint-cpp || EXIT_STATUS=$$? ; \ - $(MAKE) lint-md || EXIT_STATUS=$$? ; \ $(MAKE) lint-addon-docs || EXIT_STATUS=$$? ; \ exit $$EXIT_STATUS CONFLICT_RE=^>>>>>>> [0-9A-Fa-f]+|^<<<<<<< [A-Za-z]+