added local linting to build.sh

1 files changed, 32 insertions, 11 deletions

diff --git a/build.sh b/build.sh
index c3dfc45c5..4811ff5ae 100755
--- a/build.sh
+++ b/build.sh
@@ -1,16 +1,37 @@
 #!/bin/bash
 
+# ./build.sh            | builds the project without linting
+# ./build.sh lint       | builds the project with linting (src, data, po)
+# ./build.sh lintonly   | just linting (src, data, po)
+
 dir=`pwd`
 
-autoreconf -i
-./configure --prefix=$dir/run \
---datadir=$dir/run/share/games \
---bindir=$dir/run/bin \
---mandir=$dir/run/share/man $*
+if [[ ! -d "${dir}/src" ]]; then
+    echo "you can only build in the root directory of the project."
+    exit 1
+fi
+
+if [[ $1 == lin* ]]; then
+    if [[ ! -d "logs" ]]; then
+        mkdir -p logs
+    fi
+    echo "that can take a while, go make some coffee, tea... build a house, watch some movies... ^^'"
+    ./tools/ci/jobs/mplint.sh src | tee logs/mplint_src.log
+    ./tools/ci/jobs/mplint.sh po | tee logs/mplint_po.log
+    ./tools/ci/jobs/mplint.sh data | tee logs/mplint_data.log
+    ./tools/ci/jobs/cpplint.sh | tee logs/cpplint.log
+fi
+if [[ $1 != lintonly ]]; then
+    autoreconf -i
+    ./configure --prefix=$dir/run \
+    --datadir=$dir/run/share/games \
+    --bindir=$dir/run/bin \
+    --mandir=$dir/run/share/man $*
 
-cd po
-make update-gmo
-cd ..
-make
-mkdir run
-make install
\ No newline at end of file
+    cd po
+    make update-gmo
+    cd ..
+    make
+    mkdir run
+    make install
+fi
\ No newline at end of file