add chronic, use for "make doc"

RIOT-OS · Feb 26, 2024 · bfb66d1 · bfb66d1
1 parent cc470d7
commit bfb66d1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -11,6 +11,7 @@ RUN apt-get update && \
         git \
         graphviz \
         make \
+        moreutils \
         python3-pip \
         python3-venv \
         ssh-client \

diff --git a/build.sh b/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