From bfb66d169cc16f28c7ff791edc14215375fe6f11 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Mon, 26 Feb 2024 14:24:35 +0100
Subject: [PATCH] add chronic, use for "make doc"

---
 Dockerfile | 1 +
 build.sh   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 2912ede..e9dd639 100644
--- 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
index 0dfee20..9b84775 100755
--- 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