diff options
| -rwxr-xr-x | bin/reproducible_html_archlinux.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index d686595f..05d3bd5d 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -60,6 +60,8 @@ for PKG in $(find $ARCHBASE/* -maxdepth 1 -type d -exec basename {} \;) ; do write_page " <td>failed to download source</td>" elif [ ! -z "$(egrep '==> ERROR: One or more files did not pass the validity check' $ARCHBASE/$PKG/build1.log)" ] ; then write_page " <td>failed to verify source</td>" + elif [ ! -z "$(egrep 'makepkg was killed by timeout after 4h' $ARCHBASE/$PKG/build1.log)" ] ; then + write_page " <td>failed to build, as it was killed by timeout after 4h</td>" else write_page " <td>probably failed to build from source, please investigate</td>" fi |