Commit fb9a6f06be329edfd2392590e7df3d65835f056b

Thomas de Grivel 2023-02-15T02:06:43

wip shpkg_ci

diff --git a/bin/shpkg_ci b/bin/shpkg_ci
index 2a27e91..e2d0aaa 100755
--- a/bin/shpkg_ci
+++ b/bin/shpkg_ci
@@ -23,10 +23,19 @@ SHPKG_CI_BUILD_DIR="${SHPKG_CI_DIR}/build"
 SHPKG_CI_LOG_DIR="${SHPKG_CI_DIR}/log/${SHPKG_OS_}/${SHPKG_TARGET}"
 SHPKG_CI_STATUS_DIR="${SHPKG_CI_DIR}/status/${SHPKG_OS_}/${SHPKG_TARGET}"
 
+log_status () {
+    STATUS_FILE="${SHPKG_CI_STATUS_DIR}/$(basename "$1" .log).status"
+    if [ -f "${STATUS_FILE}" ]; then
+        cat "${STATUS_FILE}"
+    else
+        echo "unknown"
+    fi
+}
+
 log2html () {
     {
         TITLE="$(echo "$1" | ansi2html)"
-        STATUS="$(< "${SHPKG_CI_STATUS_DIR}/$(basename "$1" .log).status")"
+        STATUS="$(log_status)"
         cat <<EOF
 <!DOCTYPE html>
 <html lang="en">