From 6247590df78e4e2816ce97c9a1c97673b660f700 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 24 Sep 2016 01:19:47 +0300
Subject: Exclude one file from cpplint checks.

---
 tools/ci/jobs/cpplint.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/ci')

diff --git a/tools/ci/jobs/cpplint.sh b/tools/ci/jobs/cpplint.sh
index 1cf941de2..ccc603be4 100755
--- a/tools/ci/jobs/cpplint.sh
+++ b/tools/ci/jobs/cpplint.sh
@@ -43,6 +43,7 @@ find src -type f -name "*.cc" -exec $CHECKER {} \; 2>>${ERRFILE}2
 
 grep ":  " ${ERRFILE}2 | \
 grep -v "debug_new" | \
+grep -v "debug/fast_mutex" | \
 grep -v "sdl2gfx/SDL2" \
 >${ERRFILE}
 
-- 
cgit v1.2.3-70-g09d2