Merge pull request #54 from kaspar030/add_chronic

add chronic, use for "make doc"

Author: kaspar030

Dockerfile

@@ -11,6 +11,7 @@ RUN apt-get update && \
         git \
         graphviz \
         make \
+        moreutils \
         python3-pip \
         python3-venv \
         ssh-client \

build.sh

@@ -278,7 +278,7 @@ main() {
     # Only build Doxygen documentation if the build job was successful
     if [ ${build_test_res} -eq 0 ]; then
         echo "-- Building Doxygen documentation"
-        make -C ${repo_dir} doc --no-print-directory 2>/dev/null
+        chronic make -C ${repo_dir} doc --no-print-directory
         cp -R ${repo_dir}/doc/doxygen/html ./doc-preview
     fi