diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-12-11 14:59:37 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-12-11 14:59:37 +0100 |
| commit | f856d3557ca25a00d39d62436123ac29357b2dae (patch) | |
| tree | 01d3601782a344ef19f807daf8718184c78fbf0f /bin | |
| parent | 247af30597890166b21cd296e59e4d0ad8343793 (diff) | |
| download | jenkins.debian.net-f856d3557ca25a00d39d62436123ac29357b2dae.tar.xz | |
reproducible archlinux: don't show packages which are just building for the first time
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_archlinux.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index c42b9972..4223efda 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -40,6 +40,11 @@ write_explaination_table 'Arch Linux' write_page " <table><tr><th>repository</th><th>source package</th><th>test result</th><th>test date</th><th>1st build log</th><th>2nd build log</th></tr>" for REPOSITORY in $ARCHLINUX_REPOS ; do for PKG in $(find $ARCHBASE/$REPOSITORY/* -maxdepth 1 -type d -exec basename {} \;) ; do + if [ -z "$(cd $ARCHBASE/$REPOSITORY/$PKG/ ; ls)" ] ; then + # directory exists but is empty: package is building… + echo "$(date -u ) - ignoring $PKG from '$REPOSITORY' which is building right now…" + continue + fi write_page " <tr>" write_page " <td>$REPOSITORY</td>" write_page " <td>$PKG</td>" |