diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-09-28 09:55:38 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-09-28 09:55:38 +0200 |
| commit | 2e9d95eb6d884b0fc383a64a255ba95734aed54c (patch) | |
| tree | 6c9d389ae2d31fe5805dd6b7b8751fe11619d561 /bin | |
| parent | 6df8b96a75600cb715a16393d34d1bbd595c7e5d (diff) | |
| download | jenkins.debian.net-2e9d95eb6d884b0fc383a64a255ba95734aed54c.tar.xz | |
reproducible: link all diffp files from stats page
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_stats.sh | 9 |
2 files changed, 10 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 6c2011f0..30f4feb4 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -93,9 +93,11 @@ for SRCPACKAGE in $PACKAGES ; do set -e cat b1/${SRCPACKAGE}_*.changes mkdir -p results/_success + mkdir -p /var/lib/jenkins/userContent/diffp/ LOGFILE=$(ls ${SRCPACKAGE}_*.dsc) LOGFILE=$(echo ${LOGFILE%.dsc}.diffp) ./misc.git/diffp b1/${SRCPACKAGE}_*.changes b2/${SRCPACKAGE}_*.changes | tee ./results/${LOGFILE} + cp ./results/${LOGFILE} /var/lib/jenkins/userContent/diffp/ if ! $(grep -qv '^\*\*\*\*\*' ./results/${LOGFILE}) ; then mv ./results/${LOGFILE} ./results/_success/ figlet ${SRCPACKAGE} diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index cf49e125..f1ed81cf 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -32,4 +32,11 @@ echo echo "$COUNT_UGLY packages failed to build from source: ${UGLY}" echo "$COUNT_SOURCELESS packages doesn't exist in sid and need investigation: $SOURCELESS" -echo "<html><body><p>Hello world</p></body></html>" > inde.html +echo "<html><body><p>Hello World<ul>" > index.html +for PKG in $BAD ; do + VERSION=$(sqlite3 $PACKAGES_DB "SELECT version FROM source_packages WHERE name = \"$PKG\"") + echo "<li><a href=https://$JENKINS_URL/userContent/diffp/${PKG}_${VERSION}>diffp output for $PKG</a></li> " >> index.html +done +echo "</ul></p></body></html>" >> index.html + + |