diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-19 08:43:01 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-19 08:43:01 +0200 |
| commit | d6fee5ce3f96f9e7b014f5278e3eaac38dd3dace (patch) | |
| tree | f59ea676f9b840cb66ca2c4760b6f4398305fafe | |
| parent | 3bfe6d5f28e8edff763682659567cabc21382ff3 (diff) | |
| download | jenkins.debian.net-d6fee5ce3f96f9e7b014f5278e3eaac38dd3dace.tar.xz | |
reproducible arch: detect builds killed by timeout
| -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 |