diff options
Diffstat (limited to 'tools/ci/jobs/mplint.sh')
-rwxr-xr-x | tools/ci/jobs/mplint.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh new file mode 100755 index 000000000..0ec5421e4 --- /dev/null +++ b/tools/ci/jobs/mplint.sh @@ -0,0 +1,23 @@ +#!/bin/bash + +export CC=gcc +export CXX=g++ +export LOGFILE=mplint_po.log + +source ./tools/ci/scripts/init.sh + +aptget_install gcc g++ git \ + make autoconf automake autopoint gettext + +export CXXFLAGS="-std=gnu++11" + +git clone https://gitlab.com/manaplus/mplint.git +cd mplint +run_configure_simple +run_make +cd .. +run_mplint $* + +source ./tools/ci/scripts/exit.sh + +exit 0 |