diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-12-18 19:41:13 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-12-18 19:41:13 +0100 |
| commit | 499fd8ac59bbb8c5ec47817ca77107d1e3153280 (patch) | |
| tree | 83b1d2fa7c533f2ac7f4a3a38bba6a72fd615e9e /bin | |
| parent | 7469d41160b8e82eb3a8c326bbd1d782d7ae7cf2 (diff) | |
| download | jenkins.debian.net-499fd8ac59bbb8c5ec47817ca77107d1e3153280.tar.xz | |
reproducible: change treshold for 'completely tested' to 99%
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_archlinux.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_html_dashboard.sh | 4 | ||||
| -rwxr-xr-x | bin/reproducible_html_rpms.sh | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index b611f868..8aaa6018 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -138,7 +138,7 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do done # prepare stats per repository PERCENT_TOTAL=$(echo "scale=1 ; ($TESTED*100/$TOTAL)" | bc) - if [ $(echo $PERCENT_TOTAL/1|bc) -lt 98 ] ; then + if [ $(echo $PERCENT_TOTAL/1|bc) -lt 99 ] ; then NR_TESTED="$TESTED <span style=\"font-size:0.8em;\">($PERCENT_TOTAL% of $TOTAL tested)</span>" else NR_TESTED=$TESTED diff --git a/bin/reproducible_html_dashboard.sh b/bin/reproducible_html_dashboard.sh index 008a55a4..c0784fbb 100755 --- a/bin/reproducible_html_dashboard.sh +++ b/bin/reproducible_html_dashboard.sh @@ -329,7 +329,7 @@ write_suite_table() { fi gather_suite_arch_stats write_page "<tr><td>$SUITE/$ARCH</td><td>$AMOUNT" - if [ $(echo $PERCENT_TOTAL/1|bc) -lt 98 ] ; then + if [ $(echo $PERCENT_TOTAL/1|bc) -lt 99 ] ; then write_page "<span style=\"font-size:0.8em;\">($PERCENT_TOTAL% tested)</span>" fi write_page "</td><td>$COUNT_GOOD / $PERCENT_GOOD%</td><td>$COUNT_BAD / $PERCENT_BAD%</td><td>$COUNT_UGLY / $PERCENT_UGLY%</td><td>$COUNT_OTHER / $PERCENT_OTHER%</td></tr>" @@ -348,7 +348,7 @@ create_suite_arch_stats_page() { MAINLABEL[2]="Age in days of oldest reproducible build result in '$SUITE' for '$ARCH'" echo "$(date) - starting to write $PAGE page." write_page_header $VIEW "Overview of reproducible builds for packages in $SUITE for $ARCH" - if [ $(echo $PERCENT_TOTAL/1|bc) -lt 98 ] ; then + if [ $(echo $PERCENT_TOTAL/1|bc) -lt 99 ] ; then write_page "<p>$COUNT_TOTAL packages have been attempted to be build so far, that's $PERCENT_TOTAL% of $AMOUNT source packages in Debian $SUITE/$ARCH.</p>" fi write_page "<p>" diff --git a/bin/reproducible_html_rpms.sh b/bin/reproducible_html_rpms.sh index 339feb39..e7acc4c7 100755 --- a/bin/reproducible_html_rpms.sh +++ b/bin/reproducible_html_rpms.sh @@ -91,7 +91,7 @@ for PKG in $(find $RPMBASE/$RELEASE/$ARCH/* -maxdepth 1 -type d -exec basename { done # prepare stats per repository PERCENT_TOTAL=$(echo "scale=1 ; ($TESTED*100/$TOTAL)" | bc) -if [ $(echo $PERCENT_TOTAL/1|bc) -lt 98 ] ; then +if [ $(echo $PERCENT_TOTAL/1|bc) -lt 99 ] ; then NR_TESTED="$TESTED <span style=\"font-size:0.8em;\">($PERCENT_TOTAL% of $TOTAL tested)</span>" else NR_TESTED=$TESTED |