diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-15 19:51:49 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-15 19:51:49 +0200 |
commit | f18fe2d09ec420fb23b7e2241a9318473ec7ffd3 (patch) | |
tree | 1086e86a22163059b1a0ecf785f87cd168f78978 /bin | |
parent | 3feaaf83a09e33a1f427ad4aa8095b7497ff3222 (diff) | |
download | jenkins.debian.net-f18fe2d09ec420fb23b7e2241a9318473ec7ffd3.tar.xz |
reproducible: deal gracefully with dd-list seldomly not knowing all packages
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_stats.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index a8146067..c739bb93 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -729,7 +729,7 @@ PAGE=index_${VIEW}.html echo "Starting to write $PAGE page." write_page_header $VIEW "Overview of ${SPOKENTARGET[$VIEW]}" TMPFILE=$(mktemp) -echo "${BAD["all"]}" | dd-list -i > $TMPFILE +echo "${BAD["all"]}" | dd-list -i > $TMPFILE || true write_page "<p>The following maintainers and uploaders are listed for packages which have built unreproducibly:</p><p><pre>" while IFS= read -r LINE ; do if [ "${LINE:0:3}" = " " ] ; then |