summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2016-04-23 16:46:04 +0300
committerAndrei Karas <akaras@inbox.ru>2016-04-23 16:46:04 +0300
commit67237e1744836aaf1acd04d98fc997e2399fe3f8 (patch)
treee3cc7cfb35ec65231cb8106e56df586727d2c1df /tools
parent1ccd83e6c646b22ec75724c21bfc9992e0169d7f (diff)
downloadplus-67237e1744836aaf1acd04d98fc997e2399fe3f8.tar.gz
plus-67237e1744836aaf1acd04d98fc997e2399fe3f8.tar.bz2
plus-67237e1744836aaf1acd04d98fc997e2399fe3f8.tar.xz
plus-67237e1744836aaf1acd04d98fc997e2399fe3f8.zip
Fix mplint ci checks.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/ci/scripts/init.sh1
1 files changed, 1 insertions, 0 deletions
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