diff options
| -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>" |