From 67237e1744836aaf1acd04d98fc997e2399fe3f8 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 23 Apr 2016 16:46:04 +0300
Subject: Fix mplint ci checks.

---
 tools/ci/scripts/init.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/ci/scripts')

diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 77b72f36e..16b82914e 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -118,6 +118,7 @@ function run_mplint {
     rm $ERRFILE
     mplint/src/mplint $* >$ERRFILE
     check_error $?
+    run_check_warnings
 }
 
 aptget_update
-- 
cgit v1.2.3-60-g2f50