From 0819f30fd897d446c160a0419515354ccab9a8ae Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Thu, 26 Jan 2017 13:32:05 +0000
Subject: [PATCH] CPPlint on travis change: it will run, but not produce
 errors.

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index d454d25f806..aa6257791c7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -36,7 +36,7 @@ matrix:
       compiler: clang
       env: COMPILER=clang++
     - env: NAME="CPP-LINT"
-      script: scripts/run_lint.sh master HEAD
+      script: scripts/run_lint.sh master HEAD || true
 
 script:
   - make -C src minisat2-download