From 13100bcb1d196c90b96bf1532f988fc0ba3fd782 Mon Sep 17 00:00:00 2001
From: Holger Levsen
" -write_page " " +write_page " " # redo png once a day if [ ! -f /var/lib/jenkins/userContent/$SUITE/${TABLE[0]}.png ] || [ -z $(find /var/lib/jenkins/userContent/$SUITE -maxdepth 1 -mtime +0 -name ${TABLE[0]}.png) ] ; then redo_png 0 $SUITE/${TABLE[0]}.png @@ -322,7 +322,7 @@ for i in $(seq 1 ${#META_PKGSET[@]}) ; do if [ ! -f /var/lib/jenkins/userContent/$SUITE/$PNG ] || [ -z $(find /var/lib/jenkins/userContent/$SUITE -maxdepth 1 -mtime +0 -name $PNG) ] ; then redo_png 6 $SUITE/$PNG ${META_PKGSET[$i]} fi - write_page "
"
write_page "
The package set '${META_PKGSET[$i]}' consists of:
"
set_icon reproducible
write_icon
@@ -373,7 +373,7 @@ echo "$(date) - starting to write $PAGE page."
write_page_header $VIEW "Overview of various statistics about reproducible builds"
write_page "
" + write_page " | " done write_page " |
" # FIXME: we don't do 2 / stats_builds_age.png yet :/ (and 6 and 0 are done already) @@ -381,7 +381,7 @@ for i in 3 4 5 1 ; do if [ "$i" = "3" ] ; then write_usertag_table fi - write_page " " + write_page " " # redo pngs once a day if [ ! -f /var/lib/jenkins/userContent/${TABLE[$i]}.png ] || [ -z $(find /var/lib/jenkins/userContent -maxdepth 1 -mtime +0 -name ${TABLE[$i]}.png) ] ; then redo_png $i ${TABLE[$i]}.png -- cgit v1.2.3-70-g09d2