diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-05 21:11:06 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-05 21:11:06 +0200 |
| commit | 9f49dbf75df97a09bdc76d4681a3dfb3ed7228f5 (patch) | |
| tree | a821186b84384364feab718af8f65728a2916d6a /bin | |
| parent | f458320fb31a6ab4885a9099ae48ec17f18bdfd0 (diff) | |
| download | jenkins.debian.net-9f49dbf75df97a09bdc76d4681a3dfb3ed7228f5.tar.xz | |
reproducible: add some output to show when running the job
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 1f0cc4b9..a003c253 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -74,6 +74,7 @@ finish_navi_frame() { link_packages() { for PKG in $@ ; do + echo -n "." VERSION=$(sqlite3 -init $INIT $PACKAGES_DB "SELECT version FROM source_packages WHERE name = \"$PKG\"") # remove epoch EVERSION=$(echo $VERSION | cut -d ":" -f2) @@ -113,11 +114,13 @@ link_packages() { done } +echo "Starting to write statistics index page." write_index "<!DOCTYPE html><html><body>" > index.html write_index "<h2>Statistics for reproducible builds</h2>" write_index "<p>Results were obtained by <a href=\"$JENKINS_URL/view/reproducible\">several jobs running on jenkins.debian.net</a>. This page is updated after each job run.</p>" write_index "<p>$COUNT_TOTAL packages attempted to build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE currently. Out of these, $PERCENT_GOOD% were successful, so quite wildly guessing this roughy means about $GUESS_GOOD packages should be reproducibly buildable!</p>" write_index "<p>$COUNT_BAD packages ($PERCENT_BAD% of $COUNT_TOTAL) failed to built reproducibly: <code>" +echo -n "Starting to loop through the packages tested" link_packages $BAD write_index "</code></p>" write_index @@ -140,6 +143,7 @@ write_index "<hr><p>Packages which failed to build reproducibly, sorted by Maint write_index "<pre>$(echo $BAD | dd-list -i) </pre></p>" write_index "<hr><p><font size='-1'><a href=\"$JENKINS_URL/userContent/reproducible.html\">Static URL for this page.</a> Last modified: $(date)</font>" write_index "</p></body></html>" +echo # job output html2text index.html |