summaryrefslogtreecommitdiff
path: root/tools/ci/scripts/init.sh
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-07-11 21:53:04 +0300
committerAndrei Karas <akaras@inbox.ru>2017-07-11 21:53:04 +0300
commit8ca1f3d1666b8dc710af2b216c8ce71ecc2ac471 (patch)
tree35334434f931a50df1232771b49d54b04179193e /tools/ci/scripts/init.sh
parent71485eae058bab256770e90e5de196b3baf01cea (diff)
downloadmv-8ca1f3d1666b8dc710af2b216c8ce71ecc2ac471.tar.gz
mv-8ca1f3d1666b8dc710af2b216c8ce71ecc2ac471.tar.bz2
mv-8ca1f3d1666b8dc710af2b216c8ce71ecc2ac471.tar.xz
mv-8ca1f3d1666b8dc710af2b216c8ce71ecc2ac471.zip
Move doctest and catch files into unittests directory.
Diffstat (limited to 'tools/ci/scripts/init.sh')
-rwxr-xr-xtools/ci/scripts/init.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 0ef5c219e..f435eed99 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -280,7 +280,8 @@ function run_mplint {
rm $ERRFILE
echo "mplint/src/mplint $*"
mplint/src/mplint $* \
- | grep -v "src/test/doctest.h" \
+ | grep -v "src/unittests/doctest.h" \
+ | grep -v "src/unittests/catch.hpp" \
| grep -v "src/debug/" \
>$ERRFILE
run_check_warnings